Formal Methods in IT Security
Formal Methods in IT Security
Seminare | 2 SWS / 5 ECTS |
Veranstalter: | Ludwig Peuckert and Maximilian Tschirschnitz |
Zeit und Ort: | Preliminary Meeting: Thursday, 21.07.2022 / 14.00 h / Room: 01.08.033 Course planned: Thursday, 14.00 h - 16.00 h / Room: 01.08.033 |
Beginn: | 2022-10-20 |
The lecture is given in english
The slides are available in english
The exam will be in english
Dates
- 21.07.2022, 14:00: Kick-Off meeting / Room 01.08.033
Registration
- Register via the matching system
Contents
This year we will mostly focus on topics regarding protocol security.
- Formal Verification and Model Checking in IT Security
- Logic and Calculus (e.g. Logic for Authentication, Strand Spaces, BAN)
- Secure Code Generation
- Threat Modeling
Previous Knowledge
Not mandatory, but basic Knowledge in IT Security, Protocolsecurity, Cryptography, Formal Methods 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: