Homework
There will be a number (ca. 6) homework exercises given out during the course. These will appear here with their submission deadlines.
- Homework 1: Modeling in Proverif (deadline: 08.10.2020)
- Homework 2: Studying RCF8446 (deadline: 15.10.2020)
- Homework 3: Garbled Circuits (deadline: 05.11.2020)
- Homework 4: Secure Computation from Secret Sharing (extended deadline: 04.12.2020)
- Homework 5: Preprocessing a random value with separate MACs (deadline: 10.12.2020)
- Homework 6: Zero-knowledge proofs (deadline: 10.01.2021)