Verification and Validation of System Security. 3 credits

Catalog description

This doctoral-level, research-oriented course examines the formal verification and validation of security-critical protocols and software systems. Students apply mathematically grounded methods—such as logic, process calculi, model checking, and theorem proving—to rigorously analyze system specifications and implementations for correctness, security properties, and resistance to adversarial behaviors. The course is research-oriented and hands-on: students bring their own protocol or software artifacts and iteratively develop formal specifications, threat models, and verification results using state-of-the-art tools. Emphasis is placed on methodological rigor, tool-supported analysis, and critical interpretation of verification outcomes in the context of cybersecurity research. Offered by Cyber Security Engineering . Limited to two attempts.