Formal analysis of real-world security protocols

Exercise Sheet #6: Results Available

Written on 30.01.2026 16:05 by Erik Pallas

Dear students,

we just released the results of exercise sheet #6. As usual, you can inspect your corrected submission before Monday's lecture.