Homework 1: Modeling in Proverif
The homework task can be found here.
Additional terms:
- The homework is individual. You are expected to do your own thinking.
- Comment the Proverif code, so that it would be clear what which process does.
- The document should be presented in plain text format that Proverif is able to run.
- 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)
1. Modeling in ProverifSolutions for this task can no longer be submitted.