Documentation

1. Book

   The best starting point: problem context, modeling protocols, and the foundations of Tamarin's algorithms. Read the PDF for free or order a physical copy.

   Get the book

2. Tamarin 1.10 Manual

   Technical reference for the latest stable release.

   Online PDF

3. Exercises, tutorials, and lecture slides

   More ways to learn about Tamarin. Find what works best for you.

   Teaching materials

4. Scientific literature

   Read the science underpinning Tamarin, its latest technical developments, and selected papers that use Tamarin.

   Publications

5. Mailing list

   Search or post on the mailing list for support from other users and developers.

   Mailing list

6. Source code

   The source code behind Tamarin, and the issue tracker in case you encounter a bug.

   Source code

7. Manual development branch

   Technical reference for the bleeding-edge development branch.

   Online PDF

8. Mail

   For other inquiries (not bug reports or requests for modeling advice!) you can reach the current maintainers of the Tamarin Prover via mail.

   E-mail