Formal Methods for Finding and Fixing Information Leaks

Registration in LSF/HISPOS, Slides of Kickoff

Written on 10.11.2021 19:40 by Swen Jacobs

Dear students,

registration for the seminar in LSF/HISPOS is now possible, and will be open until December 10 (this is the deadline for both registering and unregistering).

Also, the slides of the kickoff meeting are now available under Materials -> Background Material