Foundations of Cyber Security II Christian Rossow, Robert K√ľnnemann

News

Lecture script online

Written: 05.06.2018 17:52 Written By: Robert K√ľnnemann

Hi!

This is Robert, your lecturer for the next three sessions. The new "Lecture scripts" category now contains the script for the lecture on Thursday. This part will be on formal verification, and, not very surprisingly, be quite formal. I recommend to print out the lecture script before the lecture, so you are able to make notes during the lecture. Also: ask questions. Your colleagues will thank you (not literally, but they will be happy you asked in their place).

Cheers, Robert



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