Formal Methods in Security Patrignani, Nemati, K√ľnnemann


PROTO parts start at 16:00 and materials online

Written: 03.01.2022 11:19 Written By: Robert K√ľnnemann


The PROTO lectures, which start next next week (Jan 12) will not be at the usual time, but at 16:00. This is to be compatible with Standford time, see the discussion on Askbot.
The lecture script is available on the Materials page. Remember to read it before the lecture – we want to discuss it.

Cheers, Robert

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators