Secure Channels (Course)

LecturerProf. Dr. Stefan Lucks

A secure channel, between two or more participants, provides privacy and integrity of the transmitted data. The goal of this course is to understand the principles of designing and analyzing secure channels. The students will learn to distinguish between a secure and an insecure design, by conceiving the basic ideas of secure channels:

  • Formalizing the security requirements
  • Analyzing existing protocol and channel designs
  • How to prove the security of a given design
  • Sound implementation of secure channels

Class Meeting:

Wednesday, 11:00 - 12:30, Karl-Haußknechtstr. 7 (HK7, HS - Lecture Room)

First Meeting:

06.04.2016

Slides:

  • Introduction (Last update: 11 Apr 2016)
  • Chapter 1: Encryption (Last update: 11 Apr 2016)
  • Chapter 2: Authentication
  • Chapter 3: Finite Fields
  • Chapter 4: Authenticated Encryption
  • Chapter 5: Dedicated AE(AD) Schemes
  • Chapter 6: Robustness and Deterministic AE
  • Chapter 7: Robustness and On-Line Encryption
  • Chapter 8: Robustness to Decryption Misuse

Grading:

Oral examination (Admission due to a successful take out of the problem session)

Target audience:

Computer Science and Media, M.Sc.


Literature:

 Introduction to Modern Cryptography  by Mihir Bellare and Phillip Rogaway