IFC Sheet 2 Published (Deadline Friday 24, 23:59)
Written: 17.11.2020 15:55 Written 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
If you encounter technical problems, please contact the administrators