TUM Logo

Formal Methods in IT Security

Formal Methods in IT Security  

Seminare 2 SWS / 5 ECTS
Veranstalter: Ludwig Peuckert and Maximilian Tschirschnitz
Zeit und Ort:

Preliminary Meeting: Thursday, 21.07.2022 / 14.00 h / Room: 01.08.033

Course planned: Thursday, 14.00 h - 16.00 h / Room: 01.08.033

Beginn: 2022-10-20

The lecture is given in english
The slides are available in english
The exam will be in english


  • 21.07.2022, 14:00: Kick-Off meeting / Room 01.08.033


  1. Register via the matching system


This year we will mostly focus on topics regarding protocol security. 

  1. Formal Verification and Model Checking in IT Security
  2. Logic and Calculus (e.g. Logic for Authentication, Strand Spaces, BAN)
  3. Secure Code Generation
  4. Threat Modeling

Previous Knowledge

Not mandatory, but basic Knowledge in IT Security, Protocolsecurity, Cryptography, Formal Methods is welcome.

Final Presentations

If the pandemic situations allows, we plan to have a voluntary in-person conference at the end of the semester together with other seminars.
In past semesters we have visited Frauenchiemsee:

frauenchiemsee scaled