Hands-On Protocol Verification Robert K├╝nnemann

News

21.02.2019

Final talks on 12.03. 9:00

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

22.11.2018

HISPOS inscriptions

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

08.11.2018

Project description and materials

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... 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

08.11.2018

Docker image finished

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... 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

05.11.2018

Semester dates

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... 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

24.10.2018

Gitlab inviation

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... 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

Show all
 

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

 



Datenschutz | Impressum
Bei technischen Problemen wenden Sie sich bitte an die Administratoren