News
Presentation Topics assigned, next meeting
Written on 16.11.2018 16:37 by Swen Jacobs
Dear students,
the presentation topics have finally been assigned (there has been some trouble figuring out who still participates in the seminar, sorry for that).
In the next meeting, Karl Schrader will give an informal presentation of the paper Secure Information Flow by Self-composition.
It would be great if we had one or two volunteers for the other paper, Automated Analysis of Cryptographic Protocols Using Murphi. Please let me know if you would be willing to present it on Thursday. If that works, we will not have additional reading group papers and will directly proceed to your full presentations, probably starting on December 6.
See you next week!