News
Exam registration is now possible
Written on 03.01.2024 08:49 by Faezeh Nasrabdi
Dear Students,
You can now register in the LSF for the end-term exam.
Kind regards and a Happy New Year :)
Faezeh
Formal Methods in Security
Cremers, Nasrabadi, Fabian, Nemati, Künnemann