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

Cryptographic Protocols 2020/21 fall

  • Main Page
  • Lectures
  • Exercise sessions
  • Homework
  • Links

Homework 1: Modeling in Proverif

The homework task can be found here.

Additional terms:

  1. The homework is individual. You are expected to do your own thinking.
  2. Comment the Proverif code, so that it would be clear what which process does.
  3. The document should be presented in plain text format that Proverif is able to run.
  4. If you will be late, please alert the lecturer in advance.

Deadline: October 08th, 2020, 23:59 EEST.

Delivery:: upload through the course website (see below)

1. Homework 1: Modeling in Proverif
Solutions for this task can no longer be submitted.
  • 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