Formal Methods and Information Security Project

1. Theory Files (.spthy)

• Hand in the security protocol theory (.spthy) files of all relevant protocol models (i.e., Tamarin theories) for each assignment

2. Proof Files (.spthy)

• Hand in the proofs for all lemmas
• Can obtain the proof files after having proved all lemmas by clicking "download" button in the upper-right corner of interactive Tamarin session. Name the proof files X-proof.spthy for each theory X.

3. Report (.pdf)