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."