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. Furthermore, we also offer Bachelor's, Master's and Diploma theses related to these topics.

Summer Term 2013

• Lecture: Formal Methods for Information Security
• Graduate Seminar: MAIS
• Lab: Dynamic Enforcement of Software Security
• Lab: Software Security for Mobile Devices
• Seminar: Software Security for Mobile Devices
• Seminar: Current Topics in Secure Usage
• Seminar: Security Policy Language for Software Verification

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 [2007, 2008, 2010, 2011, 2012]
• Lecture with exercises: Introduction to Foundations of Computing [2007/08, 2008/09, 2009/10, 2010/11, 2011/12, 2012/13]
• Integrated course: Static and Dynamic Program Analysis [2011/12, 2012/13]
• Distinguished Lectures Series: [organized by MAIS from summer term 2009 until summer term 2012]
• Cycle of lectures: Long Term IT Security: [2007]
• Graduate Seminar: Formale Methoden [2007/08, 2008, 2008/09, 2009/10, 2010]
• Graduate Seminar: MAIS [2009/10, 2010, 2010/11, 2011, 2011/12, 2012, 2012/13]
• Graduate Seminar: Theoretical Computer Science / Formal Methods and Information Theory [2007]
• Lab: Modellierungspraktikum [2007/08, 2008/09, 2009/10, 2010/11, 2011/12, 2012/13]
• Lab: Proof Carrying Code [2008, 2010, 2011]
• Lab: Sichere Informationssysteme [2009/10]
• Lab: Secure Coding [2012]
• Lab: Software Security for Mobile Devices [2012]
• Seminar: Analyse von Sicherheitsprotokollen (Analysis of Security Protocols) [2008/09]
• Seminar: Current Topics in Information Flow Control: [2011/12, 2012/13]
• Seminar: Current Topics in Usage Control: [2011, 2012]
• Seminar: Formal Methods for Security Engineering [2010]
• Seminar: Formale Spezifikation und Analyse [2008]
• Seminar: Formale Spezifikation [2007/08, 2008/09, 2009/10, 2010/11, 2011/12, 2012/13]
• Seminar: Network Security [2007]
• Seminar: Probabilistische Modelle [2007/08]
• Seminar: Proof-Carrying Code [2008, 2010, 2011]
• Seminar: Software Security for Mobile Devices [2012]
• Seminar: Statische und dynamische Programmanalyse [2009/10]
• Reading Group: Runtime Monitoring [2011, 2011/12]

Past Teaching at RWTH Aachen:

• Lecture with exercises: 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