News

13.08.2018	Grades Dear students, after reviewing your summaries, your grades are now finalized and visible.
30.07.2018	Submission of Summaries Dear Students, we have just opened submissions for the drafts and final versions of your summaries. For the draft, it is also OK to send it directly to your tutor (and several of you have already done so). The final version must be uploaded on the submission page... Read more Dear Students, we have just opened submissions for the drafts and final versions of your summaries. For the draft, it is also OK to send it directly to your tutor (and several of you have already done so). The final version must be uploaded on the submission page until August 8.
23.07.2018	All talk slides available Dear students, all the slides of the final talks are now available from Information -> Materials -> Final Slides (most of them have been for a while). Please have another look at the talks that are related to your own topic when preparing your summary.
27.06.2018	Three talks next week Dear students, we will have three talks next week: papers 11 and 12, and after that paper 10, which could not be presented today. This means that our seminar will run a bit longer than usual, approx. until 14:45. If you cannot stay for the third talk because of... Read more Dear students, we will have three talks next week: papers 11 and 12, and after that paper 10, which could not be presented today. This means that our seminar will run a bit longer than usual, approx. until 14:45. If you cannot stay for the third talk because of other courses, please let me know.
13.06.2018	Talk Slides Dear Students, we have opened a submission for the slides of your final talks. Please upload a pdf of your slides after you have given the talk, we will make the slides available to the seminar participants.
31.05.2018	Information for Summary Dear students, we have just uploaded the slides from yesterday's presentation on "How to write your summary", as well as a zip-file with the LaTeX template and class files to be used for the summary (in "Information->Material->Background"). Note that the template... Read more Dear students, we have just uploaded the slides from yesterday's presentation on "How to write your summary", as well as a zip-file with the LaTeX template and class files to be used for the summary (in "Information->Material->Background"). Note that the template .tex file contains some "typesetting instructions" - these are meant for authors of conference papers and are not binding for you. You may find some good hints there, though.
23.05.2018	Final Talks Dear all, next week, we will begin with the final presentations of our Proseminar. This is just a friendly reminder that the attendance to all final talks is mandatory. We are looking forward to exciting talks and discussions!
17.04.2018	Papers assigned The papers have now been assigned. Please have a look at your paper before the next meeting (Wed, April 25). Also note that practice talks for Papers 1-3 are scheduled for May 2, and you should arrange a meeting with your adviser before your practice talk.
12.04.2018	Paper preferences Due to a configuration issue, until now it was not possible to select your preferred papers. This should be possible now (under Tutorial Preferences). Sorry for the inconvenience!

Formal Verification of Security Protocols Bernd Finkbeiner, Swen Jacobs

News