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 and Master's theses related to these topics.
Winter Term 2024/2025
Summer Term 2024
- Integrated Course: Formal Methods for Information Security
- Seminar: Language-Based Security for Distributed Systems
- Graduate Seminar: MAIS
Winter Term 2023/2024
- Integrated Course: Modellierung, Spezifikation und Semantik
- Integrated Course: Static and Dynamic Program Analysis
- Practical Lab in Teaching: Modellierung, Spezifikation und Semantik
- Graduate Seminar: MAIS
Summer Term 2023
- Integrated Course: Formal Methods for Information Security
- Seminar: Language-Based Security for Distributed Systems
- Graduate Seminar: MAIS
Summer Term 2022
- Integrated Course: Formal Methods for Information Security
- Lab: Formal Specification and Verification in Isabelle/HOL
- Seminar: Formal Specification
- Graduate Seminar: MAIS
- Exam: Modellierung, Spezifikation und Semantik
Winter Term 2021/2022
- Integrated Course: Modellierung, Spezifikation und Semantik
- Integrated Course: Static and Dynamic Program Analysis
- Practical Lab in Teaching: Modellierung, Spezifikation und Semantik
- Graduate Seminar: MAIS
Summer Term 2021
- Integrated Course: Static and Dynamic Program Analysis
- Lab: Formal Specification and Verification in Isabelle/HOL
- Seminar: Current Topics in Concurrency and Parallelism
- Seminar: Formal Specification
- Graduate Seminar: MAIS
- Exam: Modellierung, Spezifikation und Semantik
Information regarding the Corona pandemic:
All of our course will happen. You can find more information on the individual web pages of each course.
All of our course will happen. You can find more information on the individual web pages of each course.
Studying abroad:
Past Teaching at TU Darmstadt:
- Lecture with exercises: Formal Methods for Information Security [2007, 2008, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019/20]
- Lecture with exercises: Modellierung, Spezifikation und Semantik [2019, 2020, 2020/21]
- Lecture with exercises: Introduction to Foundations of Computing (now MoSeS) [2007/08, 2008/09, 2009/10, 2010/11, 2011/12, 2012/13, 2013/14, 2014/15, 2015/16]
- Integrated course: Side-Channel Analysis of Software [2015/16]
- Integrated course: Static and Dynamic Program Analysis [2011/12, 2012/13, 2017/18]
- Distinguished Lectures Series: [organized by MAIS from summer term 2009 until summer term 2012]
- Lecture Series: Long Term IT Security [2007]
- Graduate Seminar: MAIS [2009/10, 2010, 2010/11, 2011, 2011/12, 2012, 2012/13, 2013, 2013/14, 2014, 2014/15, 2015, 2015/16, 2016, 2016/17, 2017, 2017/18, 2018, 2019, 2019/20, 2020, 2020/21]
- Graduate Seminar: Formale Methoden [2007/08, 2008, 2008/09, 2009/10, 2010]
- Graduate Seminar: Theoretical Computer Science / Formal Methods and Information Theory [2007]
- Project Lab: Dynamic Enforcement of System Requirements [2015, 2016/17, 2017/18]
- Lab: Dynamic Enforcement of Software Security [2013, 2019]
- Lab: Formal Specification and Verification in Isabelle/HOL [2014/15, 2015/16, 2017, 2019, 2020]
- Lab: Modellierungspraktikum [2007/08, 2008/09, 2009/10, 2010/11, 2011/12, 2012/13, 2013/14]
- Lab: Proof Carrying Code [2008, 2010, 2011]
- Lab: Reliable Software Security for Mobile Devices [2015, 2016, 2017, 2018, 2019/20]
- Lab: Sichere Informationssysteme [2009/10]
- Lab: Side-Channel Analysis [2020]
- Lab: Secure Coding [2012]
- Lab: Software Security for Mobile Devices [2012, 2013]
- Seminar: Analyse von Sicherheitsprotokollen (Analysis of Security Protocols) [2008/09]
- Seminar: Attacker Models in IT Security [2020]
- Seminar: Computer Security Foundations [2015/16]
- Seminar: Current Tools for Language-Based Security [2014/15]
- Seminar: Current Topics in Concurrency and Parallelism [2016, 2018, 2020/21]
- Seminar: Current Topics in Information Flow Control [2011/12, 2012/13]
- Seminar: Current Topics in Information Flow Security [2015]
- Seminar: Current Topics of Modular Verification [2019/20]
- Seminar: Current Topics on Multicore Semantics [2013/14]
- Seminar: Current Topics in Secure Usage [2013, 2017, 2019]
- Seminar: Current Topics in Usage Control [2011, 2012]
- Seminar: Formal Methods for Security Engineering [2010]
- Seminar: Formal Specification and Verification [2015/16]
- Seminar: Formale Spezifikation und Analyse [2008]
- Seminar: Formale Spezifikation [2007/08, 2008/09, 2009/10, 2010/11, 2011/12, 2012/13, 2013/14, 2014/15, 2020]
- Seminar: Network Security [2007]
- Seminar: Probabilistische Modelle [2007/08]
- Seminar: Proof-Carrying Code [2008, 2010, 2011]
- Seminar: Security Policy Languages for Software Verification [2013]
- Seminar: Side-Channel Attacks on Software [2015, 2016, 2017, 2019, 2020/21]
- Seminar: Software Security for Mobile Devices [2012, 2013, 2019/20]
- 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
Print
Imprint
Sitemap
Contact