Institute of Computer Science
  1. Courses
  2. 2024/25 fall
  3. Cryptographic Protocols (MTAT.07.014)
ET
Log in

Cryptographic Protocols 2024/25 fall

  • Main Page
  • Lectures
  • Homework
  • Links

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.
  • 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.
  • Homework 5: SPDZ preprocessing (deadline: 11.12.2024). Please send your submissions by e-mail to Pille.
  • Institute of Computer Science
  • Faculty of Science and Technology
  • University of Tartu
In case of technical problems or questions write to:

Contact the course organizers with the organizational and course content questions.
The proprietary copyrights of educational materials belong to the University of Tartu. The use of educational materials is permitted for the purposes and under the conditions provided for in the copyright law for the free use of a work. When using educational materials, the user is obligated to give credit to the author of the educational materials.
The use of educational materials for other purposes is allowed only with the prior written consent of the University of Tartu.
Terms of use for the Courses environment