Krüptograafilised protokollid 2021/22 sügis

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, 2021, 23:59 EEST.

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