Formal Methods for Security Swen Jacobs

News

Student Presentations and Final Report

Written: 18.11.2019 09:34 Written By: Swen Jacobs

Dear Students,

as agreed in the last meeting, student presentations will start on December 19, 2019 with the following two presentations:

Paper 3: Automatic Verification of Security Protocols in the Symbolic Model: the Verifier ProVerif (presented by Julia Tillman)

Paper 4: Verification of Cryptographic Protocols: Tagging Enforces Termination (presented by Niklas Medinger)

There will not be any more meetings before that, and the remaining presentations will follow in January and February 2020.

Also, the "Materials" section now contains a template and the grading rubric for the final reports, as well as the whiteboard notes from the last meeting.



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