|Semesterwochenstunden||2 Vorlesung + 2 Übung|
|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