Homework
There will be a number (ca. 6, possibly less) homework exercises given out during the course. These will appear here with their submission deadlines.
- Homework 1: Modeling in Proverif (deadline: 06.10.2024). Please send your submissions by e-mail to Peeter and Alisa.
- Homework 2: Modeling in Tamarin (deadline: 27.10.2024). Please send your submissions by e-mail to Peeter and Alisa.
Last update: 15.10.2024. Changes of 15.10.2024 (no changes in the tasks):- Added a small paragraph about using
--auto-source
option. - Fixed the deadline date.
- Fixed some typos and wording.
- Added a small paragraph about using
- Homework 3: Evaluating garbled circuits (deadline: 08.11.2024). Please send your submissions by e-mail to Peeter.
- Homework 4: Secret Sharing Schemes (deadline: 27.11.2024). Please send your submissions by e-mail to Pille.
- You can use this LaTeX file of the task as a template for your solution.