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
Dates
- 19.07.2022, 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:
