Formal Verification of Security Protocols Bernd Finkbeiner, Swen Jacobs


All talk slides available

Written: 23.07.2018 10:07 Written By: Swen Jacobs

Dear students,

all the slides of the final talks are now available from Information -> Materials -> Final Slides (most of them have been for a while). Please have another look at the talks that are related to your own topic when preparing your summary.

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