TUM Logo

Common Flaws in Protocolsecurity

Common Flaws in Protocolsecurity  

Seminare 2 SWS / 5 ECTS
Veranstalter: Ludwig Peuckert
Zeit und Ort:

Preliminary Meeting: Tuesday, 06 July 2021 at 10.00 h - video conference

Beginn:

The lecture is given in english
The slides are available in english

 

Dates

Registration

  1. Register via the matching system

Contents

  1. Common Attacks on Protocols
  2. Techniques in Protocol Modelling
  3. Formal Verification of Protocols
  4. Attack Mitigation in Protocols

Previous Knowledge

Basic Knowledge in IT Security, Protocolsecurity, Cryptography

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:

frauenchiemsee scaled

Literature

tba