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.