Arvutiteaduse instituut
  1. Kursused
  2. 2024/25 sügis
  3. Krüptograafilised protokollid (MTAT.07.014)
EN
Logi sisse

Krüptograafilised protokollid 2024/25 sügis

  • 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.
  • Arvutiteaduse instituut
  • Loodus- ja täppisteaduste valdkond
  • Tartu Ülikool
Tehniliste probleemide või küsimuste korral kirjuta:

Kursuse sisu ja korralduslike küsimustega pöörduge kursuse korraldajate poole.
Õppematerjalide varalised autoriõigused kuuluvad Tartu Ülikoolile. Õppematerjalide kasutamine on lubatud autoriõiguse seaduses ettenähtud teose vaba kasutamise eesmärkidel ja tingimustel. Õppematerjalide kasutamisel on kasutaja kohustatud viitama õppematerjalide autorile.
Õppematerjalide kasutamine muudel eesmärkidel on lubatud ainult Tartu Ülikooli eelneval kirjalikul nõusolekul.
Courses’i keskkonna kasutustingimused