Semesterwochenstunden 2 Vorlesung + 2 Übung
ECTS-Punkte 6
Modulverantwortlicher Prof. Dr. Michael Backes


The students will learn various formal methods to rigorously specify, analyse, and enforce security properties of IT systems, and they will acquire an hands-on experience with the state-of-the-art security analysis tools.


  • Formal analysis of cryptographic protocols
  • Information flow analysis
  • Security policy enforcement
  • Analysis of mobile applications
  • Analysis of web applications