Student Presentations and Final Report
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.