tamarin-tutorial

Tamarin Prover Tutorial for the 2024 Summer School on real-world crypto and privacy, Vodice, Croatia

Please install the Tamarin-prover before the start of the tutorial (happening on Monday). You will find information on how to install it in our Installation Guide.

Material

• The folders sessionX contain exercises for the respective sessions. (Note that the first session will consist in a lecture and demo).
• 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 manual is available online and is a great source of information.
• Cas Cremers created a helpful illustration (dependencygraph.pdf) of Tamarin's GUI output.