Formal Verification of Security Protocols Bernd Finkbeiner, Swen Jacobs


Submission of Summaries

Written: 30.07.2018 11:58 Written By: Swen Jacobs

Dear Students,

we have just opened submissions for the drafts and final versions of your summaries. For the draft, it is also OK to send it directly to your tutor (and several of you have already done so). The final version must be uploaded on the submission page until August 8.

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