Formal Methods in IT Security
Formal Methods in IT Security
| Seminare | 2 SWS / 5 ECTS |
| Veranstalter: | Ludwig Peuckert |
| Zeit und Ort: | Preliminary Meeting (!shifted!): Tuesday, July 11th 2023 14.00 h / Room 01.08.033 (former July 4th!) (slides) Course planned: Tuesday, 14.00 h - 16.00 h |
| Beginn: | 2023-10-17 |
The lecture is given in english
The slides are available in english
The exam will be in english
Dates
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:
