News
IFC assignment 1
Written on 29.10.2021 13:10 by Marco Patrignani
Hello students,
the first IFC assignment is out, you can find it in the materials section.
Pleaseheck the course page for the deadline.
Formal Methods in Security
Patrignani, Nemati, Künnemann