News
IFC Ex1
Written on 11.01.2024 17:04 by Xaver Fabian
Dear students,
the first exercise sheet, the slides and the recording are now available.
Cheers,
Xaver
Formal Methods in Security
Cremers, Nasrabadi, Fabian, Nemati, Künnemann
Written on 11.01.2024 17:04 by Xaver Fabian
Dear students,
the first exercise sheet, the slides and the recording are now available.
Cheers,
Xaver