MTAT.07.014 Cryptographic Protocols

General advertisement:

This is expected to be the second course in cryptography, after "Cryptology I" (lectured by Dominique Unruh). The goal of "Cryptographic protocols" as a course is to introduce the students to the world of (surprise) cryptographic protocols: what does it mean for a protocol to be secure, how to construct secure protocols, and how to PROVE that a protocol is secure. You will also see how to attack some trivial protocols.

The goal of the course is to introduce students to the correct cryptographic thinking (don't design rubbish protocols... what does it mean to be not rubbish?). Some of the possible practical outlets of students could be work on areas like secure multi-party computation, e-voting, etc.

The course is meant as a mainly MSc level course, although it is opened for students of every level.

The course used to be in every Autumn, but now it is going to be in even years only. (2016, 2018, 2020, ...)

2018 Autumn

Objectives (and study goals): To acquire an overview of methods for constructing secure cryptographic protocols from secure cryptographic primitives. Introduce the security goals of protocols and methods for proving them secure.

Brief description: Secure computation. Zero-knowledge protocols. Security definitions, design of protocols and security proofs

Instructor: Helger Lipmaa
Teaching assistent: Janno Siim
Lecture: Tue 12.15 - 14.00 (Paabel, Ülikooli 17, room xxx)
Practice session: Thu 14.15 - 16.00 (Paabel, Ülikooli 17, room xxx)
Language: English
Exam: TBA
Contact: Helger Lipmaa