Summer Term 2024

In the summer term of 2024 we offer the following courses:

Integrated Course: Formal Methods for Information Security
Seminar: Language-Based Security for Distributed Systems
Graduate Seminar: MAIS