TUM Logo

Common Flaws in Protocol Security

Common Flaws in Protocol Security  

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

Preliminary Meeting: Tuesday, 19.07.2022 / 14.00 h / Room: 01.08.033

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

Beginn: 2022-10-18

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


  • 19.07.2022, 14:00: Kick-Off meeting / Room 01.08.033 [slides]


  1. Register via the matching system


  1. Common Attacks on Protocols
  2. Techniques in Protocol Modelling
  3. Formal Verification of Protocols
  4. Attack Mitigation in Protocols

Previous Knowledge

Not mandatory, but basic Knowledge in IT Security, Protocolsecurity, Cryptography 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