Summer Term 2020

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

• Integrated Course: Modellierung, Spezifikation und Semantik
• Lab: Formal Specification and Verification in Isabelle/HOL
• Lab: Side-Channel Analysis
• Seminar: Attacker Models in IT Security
• Seminar: Formal Specification
• Graduate Seminar: MAIS