Formal Methods in IT Security
Formal Methods in IT Security
| Seminare | 2 SWS / 5 ECTS |
| Veranstalter: | Ludwig Peuckert |
| Zeit und Ort: | Preliminary Meeting: Tuesday, 07.02.2023 / 15.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
Slides
Dates
- 07.02.2023 / 15.00 h: Kick-Off meeting / Room 01.08.033
Registration
- Send letter of Motivation
- 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.
Motivational letter 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:
