Formal analysis of real-world security protocols

Reminder: LSF/CMS registration

Written on 11.02.2025 13:06 by Alexander Dax

Dear Students,

this is a reminder to register for the final project in both LSF and CMS.

Please note that the registration deadline is the 21.02.