Cryptographic Protocols 2021/22 fall

Exercises

Any extra information related to the exercises will appear here.

• On September 23rd, we are having an exercise session. The tasks are described in this file. We start from a simple proverif file which only contains some declarations. ProVerif can be executed on this file by running proverif -in pitype pr_2021_initial.txt. It should say something like "No query in the input file."
  • The intermediate solution of the first task can be found here.
  • The final solution of the first task can be found here.
  • The solution of the second task can be found here.
  • The exercise session is followed by a homework that can be found in this file.