News
Exercise sheet 3
Written on 15.12.2023 08:43 by Faezeh Nasrabdi
Dear all,
Due a few requests, we have extended the deadline for the submission of exercise for the lecture 3 until tomorrow evening.
Best, Faezeh
Formal Methods in Security
Cremers, Nasrabadi, Fabian, Nemati, Künnemann