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 am - 12:30 pm in lecture room IT-AP.  Karl-Haußknecht-Straße 7; Start: Oct 15 2014

Slides:

  • Introduction
  • 1 Encryption
  • 2 Authentication
  • 3 Finite Fields (a mathematical excursion)
  • 4 Authenticated Encryption
  • 5 Dedicated AE(AD) Schemes (+presentation:Cryptanalysis of EAX-Prime)
  • 6 Robustness and Deterministic Authenticated Encryption
  • 7 Robustness and On-Line Encryption
  • 8 Robustness to Decryption Misuse
  • 9 The TLS Record Protocol

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