We offer courses on formal methods, the formal modeling and analysis of information systems and their requirements, on foundational topics in information security, and on the security analysis of critical IT systems. Furthermore, we also offer Bachelor's and Master's theses related to these topics.
Courses
- Integrated Course: Formal Methods for Information Security
- Seminar: Language-Based Security for Distributed Systems
- Graduate Seminar: MAIS