Formal Verification of Security Protocols Bernd Finkbeiner, Swen Jacobs


Papers assigned

Written: 17.04.2018 14:10 Written By: Swen Jacobs

The papers have now been assigned. Please have a look at your paper before the next meeting (Wed, April 25).
Also note that practice talks for Papers 1-3 are scheduled for May 2, and you should arrange a meeting with your adviser before your practice talk.

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