Integrated Course (9CP) - In-Person Teaching only

The course gives an overview on formal approaches to: 
  • formal modeling of security-critical systems
  • formal specification of security requirements
  • formal security analysis of systems
  • theoretical foundations for developing secure software by stepwise refinement and composition.
This Moodle course will be used to share the lecture material (slides, exercises, ...). Please find all organizational details (lecture dates, lecture rooms, exam dates, ...) on the course website.