Formal analysis of real-world security protocols

Exercise Sheet #5: Results Available

Written on 26.01.2026 13:58 by Erik Pallas

Dear students,

we just released the results of exercise sheet #5; you can have a look at your corrected assignments before today's lecture.