Formal analysis of real-world security protocols

Lecture 1: Slides & Exercise Sheet

Written on 26.10.2026 12:44 by Aurora Naska

Dear students,

we just uploaded the slides of today's lectures and the first exercise sheet.