News

FInal Grades

Written on 04.05.20 by Swen Jacobs

Dear students,

your final grades are now visible and have been submitted to the LSF.

I want to thank you for your great participation in the seminar, it was a pleasure to discuss these papers with you. If you want additional feedback on your report or presentation, please let me know.

Cheers!

Presentation Slides available

Written on 28.02.20 by Swen Jacobs

Dear students,

the presentation slides are now available under Materials -> Presentation Slides. Since their upload has been delayed, I have extended the deadline for the report until the end of next week.

Presentation Slides

Written on 30.01.20 by Swen Jacobs

Dear Students,

a quick reminder: please upload your slides, such that everyone can use them when preparing their reports.

Thank you!

Final Report: Length and Requirements

Written on 24.12.19 by Swen Jacobs

Dear students,

I had a question about required content and length of the final report. Here is what I expect:
- a summary of each paper (4 reading group papers + 8 presented papers), roughly half a page per paper, in your own words, without technical details (unless you want to make a specific point that requires formulas or such)
- additionally, your evaluation of the papers, and/or comparisons between different papers - this can and should be based on our discussions (but is of course not limited to what we discussed)

Overall, the report should be between 6 and 10 pages.

Happy Holidays, see you next year!

Student Presentations and Final Report

Written on 18.11.19 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… Read more

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.