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!


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