News
Exercise sheet 1
Written on 17.11.2023 11:54 by Hamed Nemati
Due a few requests, we have extended the deadline for the submission of exercise for the lecture 1 until tomorrow evening.
Formal Methods in Security
Cremers, Nasrabadi, Fabian, Nemati, Künnemann