course: Authenticated Key Agreement: Formal Models and Applications

number:
141244
teaching methods:
lecture with tutorials
media:
computer based presentation, black board and chalk
responsible person:
Prof. Dr. Jörg Schwenk
Lecturers:
Prof. Dr. Jörg Schwenk (ETIT), M. Sc. Sebastian Lauer (ETIT), M. Sc. Paul Rösler (ETIT)
language:
german
HWS:
4
CP:
5
offered in:
summer term

dates in summer term

  • start: Tuesday the 02.04.2019
  • lecture Tuesdays: from 12:15 to 13.45 o'clock in ID 04/413
  • tutorial Tuesdays: from 14:00 to 15.45 o'clock in ID 04/413

Exam

Form of exam:written
Registration for exam:FlexNow
Date:24.07.2019
Begin:08:30
Duration:120min
Rooms : ID 04/471,  ID 04/459
Individual appointments of students to each exam location will be issued by the responsible chair.

goals

The students understand the peculiarity of cryptographic protocols, where the focus is no longer on one algorithm but on the interaction among different instances. They know the most important concepts regarding the provable security of protocols. The most important building blocks of cryptographic protocols are dealt with, so that students are able to enter directly into the scientific literature on this topic.

content

This lecture provides an introduction to the field of cryptographic protocols, covering the techniques and methodologies of cryptography in the communication among multiple instances. Here, importance is attached both to the formal descriptions of protocols as well as their analysis regarding security. The lecture covers the following topics:

  • Cryptographic basics (short repetition of probability theory, information theory, etc.)
  • Provable security
  • Analysis of key exchange protocols with a focus on real-world examples (such as TLS or SSH)

The curriculum is not fixed and can be changed after consultation with the students.

requirements

keine

recommended knowledge

  • basic knowledge in cryptography
  • Advice: work through the Cryptography script by Prof. Alexander May

materials

miscellaneous

Related Literature: