Tamarin Formal Verification - Personal Lab

This repository contains my personal notes, models, and exercises for formal verification using the Tamarin Prover.

This is a personal/academic project.

Repository Goals

• Keep structured notes while studying Tamarin.
• Build protocol models incrementally.
• Collect solved exercises and short proof notes.
• Track progress over time in a clean, reproducible way.

Current Structure

.
├── README.md
├── .gitignore
├── notes/
├── exercises/
└── templates/

Quick Navigation

• Study notes: notes/TamarinRecap.md
• Starter template: templates/protocol-template.spthy
• Exercises folder: exercises

Official References

• Main website: Tamarin Website
• Manual (latest): Manual
• Source code repository: Tamarin Github

Exercises References:

• Tamarin Teachings
• Toy Protocols
• Tamarin Workshop
• Workshop