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.2021)
- Homework 2: Studying RCF8446 (deadline: 21.10.2021)
- Homework 3: Garbled Circuits (deadline: 15.11.2021)
- Homework 4: Secure Computation using Secret Sharing (deadline: 22.11.2021)
- Homework 5: Preprocessing a random value with separate MACs (deadline: 10.12.2021)
- Homework 6: Zero-knowledge proofs (deadline: 10.01.2022)