Formal Verification of Security Protocols Bernd Finkbeiner, Swen Jacobs

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!

Show all
 

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.



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