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
- Send in motivational letter, see slides
- 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
Letter of Motivation required, see slides
Final Presentations
If the 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:
