Formal Methods in Security

Joined Q&A for SysV and IFC

Written on 12.02.2024 08:59 by Xaver Fabian

Dear students,

we will have a joined Q&A session for the SysV and IFC part on Wednesday 14.02.24 at 10 AM via zoom.

The zoom room can be found here.

Cheers,

Xaver