Formal analysis of real-world security protocols

Registration for Mid-Term

Written on 02.06.2022 09:31 by Niklas Medinger

Hi all,

we set up a registration for the mid-term.
Please register such that we know how many exams we have to print.

Cheers,

Niklas