Organization
Lecturers: Prof. Dr. Ueli Maurer and Dr. Martin Hirt
The lecture starts on Wednesday, February 22, 2012 and takes place every Wednesday 13-15 in CAB G61.
The exercise sessions take place every week after the lecture at 15-17 in CAB G61. The assistant is Arpita Patra.
Exam
-
When
- expected: 26.-31.08.2012
-
Where
- Prof. Ueli Maurer's office: CAB H 19.2
-
Exam material
- Lecture (IP, MPC, Broadcast, Voting)
- Handouts
- Exercises (all series including the solutions; not the ones marked as Homework)
-
How
- You draw a card at random; each card has three subjects/questions
- You strike out one of the three questions
Lecture Notes
- The lecture note for the course: [Single File Version][Printable Version]
- Summary of Lecture Note in English for Broadcast: [Broadcast]
Exercises
Exercises and solutions will be provided here. The exercise sessions have a special format: The students solve the tasks in small groups and present them at the blackboard afterwards.- Exercise 1: [pdf] Solution: [pdf]
- Exercise 2: [pdf] Solution: [pdf]
- Exercise 3: [pdf] Solution: [pdf]
- Exercise 4: [pdf] Solution: [pdf]
- Exercise 5: [pdf] Solution: [pdf]
- Exercise 6: [pdf] Solution: [pdf]
- Exercise 7: [pdf] Solution: [pdf]
- Exercise 8: [pdf] Solution: [pdf]
- Exercise 9: [pdf]
- Exercise 10: [pdf]
- Exercise 11: [pdf]
- Exercise 12: [pdf]
Handouts
Digital versions of the slides will be provided here.- Lectures 1-2: [Slides] [Presentation]
- Lecture 3-4: [Slides] [Presentation]
- Lecture 5: [Slides]
- Lecture 6: [Slides] [Presentation]
- Lecture 7: [Slides] [Presentation]
- Lecture 8-10: [ps]
- Lecture 11: [ps]
- Lecture 12: [ps]
Reading Assignments
The following papers will be distributed in the lecture:- U. Maurer: Unifying Zero-Knowledge Proofs of Knowledge: [pdf]
- G. Brassard, D. Chaum, C. Crepeau: Minimum Disclosure Proofs of Knowledge: [ps]
- Z. Beerliova, M. Hirt: Perfectly-Secure MPC with Linear Communication Complexity: [pdf]
Some relevant literature
- O.Goldreich: The Foundations of Cryptography --- Volumes 1 and
2, Cambridge University Press, 2001 and 2004.
some copies are available at the Computer Science Library
for interactive proofs and zero-knowledge proofs see Volume 1, Chapter 4. - A.Menezes, P.van Oorschot,
S.Vanstone: Handbook of Applied Cryptography, CRC Press,
1996.
available on-line.