TUM Logo

Formal Methods in IT Security

Formal Methods in IT Security  

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

Preliminary Meeting (!shifted!): Tuesday, July 11th 2023 14.00 h / Room 01.08.033 (former July 4th!) (slides)

Course planned: Tuesday, 14.00 h - 16.00 h

Beginn: 2023-10-17

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



  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