Cyber Security

Description

This course introduces students to the principles and practice of cybersecurity, with a strong emphasis on software-intensive systems, including AI-enabled and cyber-physical systems (CPS). The course integrates classical security mechanisms with automated and formal verification techniques, enabling students to identify, analyse, and mitigate security threats systematically. Students will learn to reason about security as a "system property", from threat modelling and secure design to vulnerability detection and formal verification. Through lectures and hands-on laboratories, students will gain practical experience in analysing real-world vulnerabilities and applying automated verification tools to security-critical software written in industrial programming languages (e.g., C, C++, Rust, Java, and Python). Assessment Information: Method Weight Written exam 70% Written assignment (inc essay) 30% Alternative Autumn Assessment Available: No