MTAT.07.014 Cryptographic Protocols
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.
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: Prastudy Fauzi
Lecture: Tue 14.15 - 16.00 (Paabel, Ülikooli 17, room 219 nb - room changed)
Practice session: Mon 14.15 - 16.00 (Paabel, Ülikooli 17, room 220 nb - room and time changed)
Contact: Helger Lipmaa