News
IFC Sheet 2 Published (Deadline Friday 24, 23:59)
Written on 17.11.2020 15:55 by Marco Vassena
The second exercise sheet for IFC is published here.
The deadline is Friday 24, 23:59.
Submissions must be made on CMS (not by email).
Formal Methods in Security
Vassena, Nemati, Künnemann