This repository contains teaching materials related to the Tamarin Prover. These materials complement the official Tamarin manual.
The following PDF can be used as a reference handout for understanding dependency graphs.
(Update coming with more explanation of specific adversary nodes)
The core Tamarin team and other contributors have developed different tutorials over time. Below you can find three tutorials.
(Originally given at EuroSnP/Eurocrypt 2017)
-
Handouts to print:
Authors: David Basin, Cas Cremers, Jannik Dreier, and Ralf Sasse.
Author: Benjamin Kiesl
Author: Felix Linker
All the materials in the tamarin-prover/teaching
repository are provided under a Creative Commons Attribution license (CC-BY).