News
Final talks on 12.03. 9:00Geschrieben am 21.02.19 von Robert Künnemann Hi! We discussed moving the final talks to 12.03. 9:00 during the last session. Is there anyone, for whom this is not working? Cheers, Robert |
HISPOS inscriptionsGeschrieben am 22.11.18 von Robert Künnemann Hi! FYI: According to study regulations, you've got three weeks starting from the day topics were assigned (Tuesday) to sign in or out of this course in HISPOS. Deadline is thus 11.12.2018. Cheers, Robert |
Project description and materialsGeschrieben am 08.11.18 von Robert Künnemann Hi! Check out the projects directory in the gitlab repository. You will find some notes from our last meeting, and some ideas about how to approach the project. This should be a basis for discussion in the next session. Feel free to edit the README.md files in your project; I will use them to… Weiterlesen Hi! Check out the projects directory in the gitlab repository. You will find some notes from our last meeting, and some ideas about how to approach the project. This should be a basis for discussion in the next session. Feel free to edit the README.md files in your project; I will use them to track your progress. Cheers, Robert |
Docker image finishedGeschrieben am 08.11.18 von Robert Künnemann Hi! Okay the headline is optimistic, I have no idea if it works on any other computer besides mine and I've added only tamarin, sapic and proverif for starters. :D Anyway, you've been added to the respository, which contains build instructions. Compiling these tools can be quite a pain, and… Weiterlesen Hi! Okay the headline is optimistic, I have no idea if it works on any other computer besides mine and I've added only tamarin, sapic and proverif for starters. :D Anyway, you've been added to the respository, which contains build instructions. Compiling these tools can be quite a pain, and this should automate the process, leaving you with a docker image, which is sort of like a VM, only slightly faster. The build process takes a while and loads of memory, so in case you are working on a weak machine send me a message and I will publish a pre-compiled image on docker hub. Cheers, Robert |
Semester datesGeschrieben am 05.11.18 von Robert Künnemann Hi! I've fixed the semester dates; please let me know if they work with your schedule. Remarks: 1. We moved the meeting on 18.12. a week earlier so you can go see your family. 2. We have a sixth meeting which is after the courses end. We will see if we need this meeting on the meeting… Weiterlesen Hi! I've fixed the semester dates; please let me know if they work with your schedule. Remarks: 1. We moved the meeting on 18.12. a week earlier so you can go see your family. 2. We have a sixth meeting which is after the courses end. We will see if we need this meeting on the meeting before. 3. I have not fixed the schedule for final talks, but I aim to have it early (in between 18.02. and 01.03.). We'll fix as soon as you know when your exams take place. 4. Intro talks will start with the session "Discussion 2" (except for Alex who pioneers in Discussion 1). Cheers & see you tomorrow, Robert |
Gitlab inviationGeschrieben am 24.10.18 von Robert Künnemann Hi! You should have received invitations to our gitlab, where your project and slides will reside. If you have worries about privacy, please seek to contact me, otherwise I will assume you are okay with all seminar members seeing each other's files and log messages (no profanity please!). I… Weiterlesen Hi! You should have received invitations to our gitlab, where your project and slides will reside. If you have worries about privacy, please seek to contact me, otherwise I will assume you are okay with all seminar members seeing each other's files and log messages (no profanity please!). I will try to setup a docker image with all the protocol verification tools we plan to use, so we avoid installation trouble. Cheers, Robert |
Hands-On Protocol Verification (WS18)
This seminar is a project-driven seminar on the practical use of protocol verification tools. Protocol design is still largely driven by engineers striving for functionality, and academics pointing out design flaws years later. In the meantime, protocol verification tools have become quite good, many of them are automatic or require little interaction. It is time to regard verification as part of the engineering process.
The goal of this seminar is to give you an overview of the strengths and weaknesses of these tools, how they are used, and learn how to model protocols. For this reason, the focus on this seminar is on a modelling and verification project.
Logistics
| Location | E9 1 Room 2.22 |
| Time | Tuesdays 12:30 - 14:00 (*) |
| Meeting | Seminar (Biweekly Meeting) |
| Number of Students | max. 14 |
| Instructor | Robert Künnemann (email) |
| Language | English |
| Kickoff | 23/10/2018 12:30 , E9 1 room 0.06 |
(*) Please note that the seminar takes place Tuesdays every two weeks. Per default, the slot is from 12:30-14:00, unless we unanimously agree on a different slot.
Course structure and grading
We start with two lectures introducing the theoretical background. Later, each student will be assigned a tool, which he or she will present to the others in 15min talks. Each student will choose a project (DNSSEC? Firefox'es synchronisation mechanism? Something something blockchain? Your choice!), which we will discuss as a group in bi-weekly meetings. The seminar will conclude with a final talk presenting the results.
Grading will be based on the presentations, the commented protocol descriptions, and general in-class participation.
Registration and pre-requisites
Students must have basic knowledge about cryptography and protocols (e.g., through Foundations of Cybersecurity I and II) and basic knowledge about either: verification, computational logic or concurrent systems (e.g., through the respective lectures).
Registration for the course is mandatory and done via the CISPA meta-registration for ProSeminars