Tamarin in 90 Minutes

Material for a Tamarin Tutorial in 90 Minutes, for the 2026 Journées du GT MFS in Luz-Saint-Sauveur, France

Please install the Tamarin-prover before the start of the tutorial. You can find information on how to install it in the Installation Guide.

Material

• The slides from the lecture can be found in the slides folder.
• The folder exercises contain exercises for the practical part.
• The folder naxos contain exercises on the NAXOS protocol, continuing the example from the lecture.
• This cheatsheet from another Tamarin workshop (by Felix Linker) is a good summary of Tamarin's syntax.
• In case you have any doubts or questions on the syntax and usage of Tamarin, the Tamarin book and the Tamarin manual are available online and are great sources of information.
• Cas Cremers created a helpful illustration (dependencygraph.pdf) of Tamarin's GUI output.

Credits

The material is based on the 2017 Tamarin Tutorial at EuroCrypt (by David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse), and the 2024 Summer School on real-world crypto and privacy in Croatia (by Alexander Dax, Sofia Giampietro, Xenia Hofmeier, Niklas Medinger, Aurora Naska).