News
Seminar CancellationWritten on 21.04.23 by Niklas Medinger Dear all,
We regret to inform you that this semester's iteration of the seminar has been cancelled due to limited interest. However, we will offer the seminar again in the future. We apologize for any inconvenience this may have caused and thank you for your… Read more Dear all,
We regret to inform you that this semester's iteration of the seminar has been cancelled due to limited interest. However, we will offer the seminar again in the future. We apologize for any inconvenience this may have caused and thank you for your understanding.
Best, |
New Date for Kick-Off Meeting: 25.04.23, 2:00 pmWritten on 18.04.23 by Niklas Medinger Hi All, |
Delayed Kick-Off MeetingWritten on 18.04.23 by Niklas Medinger Dear All, |
Seminal Papers in Security Protocols Verfication
Topic
Most modern long-distance communications take place over untrusted communication media such as the internet or GSM networks. To ensure that these communications provide some form of security, we use a range of security protocols including TLS, SSH, IKE, Wireguard, and Signal. But how can we be sure that these (often very complex) mechanisms actually provide any form of security? During the last three decades, a lot of research has been dedicated to providing mathematical proofs of various properties of such mechanisms, using a variety of techniques.
In this Proseminar, we will explore some of the classic works in this area and learn about the evolution from the idea of security protocol verification, to modern protocol analysis techniques.
Skills
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.
Language
The literature for the Proseminar is only available in English. The language of the the presentation and the final summary will also be English. However, 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:
April 18, 13:00, E9.1. Room: 0.07TBA
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.
Seminar paper: At the end of the semester, we expect you to submit a report which summarizes your assigned topic and places it within the context of the other presented papers.
Prerequisites
You will have to read scientific literature in English. Students should be familiar with core security concepts. For example, through Cysec1/2 or the Security core lecture.