News
13.08.2018
|
GradesDear students, after reviewing your summaries, your grades are now finalized and visible. |
30.07.2018
|
Submission of SummariesDear 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 availableDear 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 weekDear 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 SlidesDear 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 SummaryDear 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 TalksDear all, |
17.04.2018
|
Papers assignedThe papers have now been assigned. Please have a look at your paper before the next meeting (Wed, April 25). |
12.04.2018
|
Paper preferencesDue 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
Topic
In this Proseminar, you will learn how to give a scientific presentation. Students will read up on a topic, summarize it, and teach the findings to their fellows in a presentation. After a practice run, students are asked to give feedback, enabling a process of improvement for the final presentation.
The topic of the presentations will be formal techniques that allow us to analyze security protocols and give rigorous correctness guarantees. Students will learn how security protocols and their desired properties can be formalized, and how such an analysis can be automated.
Language
The literature for the Proseminar is only available in english. You are allowed to give your presentation and write your summary in German, but we advise against it: You are not graded based on your level of mastery in the English language, but on the quality of your presentation. The universal working language for computer science is English, so it is worthwhile collecting experience writing and speaking English.
Dates
- Kick-Off Meeting: 11.04.2018 12:15
Requirements
Talks: We expect you to give two talks on the topics you have been assigned, an ungraded practice talk to provide feedback about the quality of your work so far, and a graded final talk.
Feedback and Discussion: Attendance to all talks is mandatory. We expect you to provide feedback to your fellow students after the practice talks, and participate in discussions after the final talks.
Summary: At the end of the semester, we expect you to submit a short summary of your paper.
Prerequisites
We expect you to have passed Programming I. You will have to read scientific literature in English. Knowledge in cyber security is helpful, but not necessary.