News
Final Project Released!
Written on 14.07.2022 11:08 by Niklas Medinger
Dear all,
We have just released the description of the final project.
The project is due Wednesday, 24.08.2022 at 23:59h.
Best,
Niklas
Formal analysis of real-world security protocols
Cas Cremers