Teaching
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:
Wintern Term 2008/2009
- Canonical Lecture with exercises: Foundations of Computing
- Seminar: Analyse von Sicherheitsprotokollen (Analysis of Security Protocols)
- Seminar: Formale Spezifikation (Formal Specification)
- Lab: Modellierungspraktikum (Modeling Lab)
- Graduate Seminar: Formale Methoden (Oberseminar)
Studying abroad:
Information concerning the form "Anerkennung für eine im Ausland abgelegte Prüfung oder Studienleistung - Formblatt 1"
Past Teaching at TU Darmstadt:
- Lecture with exercises: Formal Methods for Information Security [summer term 2007, summer term 2008]
- Canonical Lecture with exercises: Foundations of Computing [winter term 2007/08]
- Seminar: Probabilistische Modelle [winter term 2007/08]
- Seminar: Formale Spezifikation [winter term 2007/08]
- Lab: Modellierungspraktikum [winter term 2007/08]
- Seminar: Network Security [summer term 2007]
- Lab: Proof Carrying Code [summer term 2008]
- Seminar: Proof Carrying Code [summer term 2008]
- Seminar: Formale Spezifikation und Analyse [summer term 2008]
- Graduate Seminar: Theoretical Computer Science / Formal Methods and Information Theory [summer term 2007]
- Graduate Seminar: Formale Methoden [winter term 2007/08, summer term 2008]
- Course: Formal Methods for Information Security (3+1)
- Seminar: Current Topics in Information Security
- Seminar: Formal Methods for Information Security - Advanced Topics
- Seminar: Network Security
- Seminar: Quantitative Aspects of Security
Content managed by the Etomite Content Management System.