Formal analysis of real-world security protocols

Zoom Location for Today's Lecture

Written on 15.06.2022 10:17 by Niklas Medinger

Hi all,

today's lecture will take place in a different Zoom room:
https://zoom.us/j/9248268309?pwd=MEd4T0tnSXVCcjFKeDVzUzdUZmZPdz09

Best,
Niklas