TAMARIN Prover
Teaching
General support
Handout: Understanding dependency graphs
The following PDF can be used as a reference handout for understanding dependency graphs.
Lecture slides
A full lecture slide deck, providing both PDF slides and latex source files under a CC-BY license.
The lecture set is intended for a graduate-level course in combination with the Tamarin book.
Author: Aleksi Peltonen
Tutorials
The core Tamarin team and other contributors have developed different tutorials over time.
1. One-day tutorial
This tutorial was originally given at EuroSnP/Eurocrypt 2017
-
Handouts to print:
Authors: David Basin, Cas Cremers, Jannik Dreier, and Ralf Sasse.
4. One-day Tamarin workshop
- Tamarin workshop given at the Croatia Summer School on real-world crypto and privacy 2024.
Authors: Alexander Dax, Sofia Giampietro, Xenia Hofmeier, Niklas Medinger, and Aurora Naska
License
All the materials in the tamarin-prover/teaching repository are provided under a
Creative Commons Attribution license (CC-BY).
