ProVerif is a computer security tool used for the formal verification of security properties in cryptographic

protocols. It falls under the category of formal methods, which involve mathematical techniques for specifying,

modeling, and verifying systems. This software can be used to prove the secrecy$,$ authenticity, and equivalence

properties of cryptographic protocols.

To$-$do list:

Download the Proverif Manual from Here.

Install the Proverif software according to the instructions in section $1\mathrm{.}4$ in the manual.

You are required to run the case study in Chapter $5,$ specifically $5\mathrm{.}1$ and $5\mathrm{.}2.$ This includes;

Simplified Needham$-$Schroeder protocol

Full Needham$-$Schroeder protocol

Write a report on your steps with screenshots.