Provable Security of Key Exchange Protocols

Provable Security of Key Exchange Protocols

Cryptographic protocols such as TLS and Signal form the foundation of secure communication, ensuring confidentiality, integrity, and authentication for billions of users worldwide. In this seminar, we will look into the theoretical foundations of the underlying protocols. We will examine recent research papers on key exchange and secure messaging that address advanced cryptographic properties (e.g., deniability), specific functionalities (e.g., password-based or hybrid key exchange), and tight security proofs.

Each student will be assigned a research paper to present as a 60 minutes lecture with subsequent discussion. Additionally, the talk should be summarized in a two-page handout. Since these papers are often extensive and contain detailed security proofs, students may concentrate on a specific contribution in coordination with the lecturer. To support this process, the seminar will include two introductory sessions with guidance, practical tips, and an example presentation.

More information coming soon.

Requirements: The seminar is designed for Master students with a foundational understanding of cryptography. Prior knowledge of concepts such as security reductions, game-based proofs, and protocol design are beneficial.

Places: 10