Formal Verification of Security Protocols Bernd Finkbeiner, Swen Jacobs


Three talks next week

Written: 27.06.2018 15:35 Written By: Swen Jacobs

Dear students,

we will have three talks next week: papers 11 and 12, and after that paper 10, which could not be presented today. This means that our seminar will run a bit longer than usual, approx. until 14:45. If you cannot stay for the third talk because of other courses, please let me know.


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