Common Flaws in Protocolsecurity
Common Flaws in Protocolsecurity
Seminare | 2 SWS / 5 ECTS |
Veranstalter: | Ludwig Peuckert and Maximilian Tschirschnitz |
Beginn: |
Dates
- 06.07.2021, 10:00: Kick-Off meeting - Onlinekonferenz [PDF]
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: