News
SysV's second lecture via zoom
Written on 09.11.2023 14:08 by Faezeh Nasrabdi
Dear all,
The SysV's second lecture will start in about 5 minutes via zoom.
Best,
Faezeh
Formal Methods in Security
Cremers, Nasrabadi, Fabian, Nemati, Künnemann