Common Flaws in Protocol Security
Common Flaws in Protocol Security
Seminare | 2 SWS / 5 ECTS |
Veranstalter: | Maximilian Tschirschnitz |
Zeit und Ort: | Preliminary Meeting: Tuesday, 07.02.2023 / 13.00 h Room: 01.08.033 |
Beginn: | 2023-04-18 |
The lecture is given in english
The slides are available in english
The exam will be in english
Dates
- 07.02.2023 / 14:00: Kick-Off meeting / Room 01.08.033 [slides]
Registration
- Register via the matching system
Contents
- Common Attacks on Protocols
- Techniques in Protocol Modelling
- Formal Verification of Protocols
- 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: