Formal Verification of Security Protocols Bernd Finkbeiner, Swen Jacobs

News

Talk Slides

Written: 13.06.2018 14:19 Written By: Swen Jacobs

Dear Students,

we have opened a submission for the slides of your final talks. Please upload a pdf of your slides after you have given the talk, we will make the slides available to the seminar participants.



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