Kickoff Lecture on Wednesday, 20.04. at 10:15 am

Written on 12.04.2022 13:40 by Alexander Dax

Welcome to the first iteration of the Formal analysis of real-world security protocols lecture! 

Our first lecture will be on Wednesday, April 20, starting at 10 c.t. over Zoom.

For the details of how to access the Zoom call, we will update the main page accordingly by next week.

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.