TAMARIN Prover
Documentation
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.
Excercises, tutorials, and lecture slides
More ways to learn about Tamarin. Find what works best for you.
Scientific literature
Read the science underpinning Tamarin, its latest technical developments, and selected papers that use Tamarin.
Manual
For technical reference and the latest details. Read the PDF or online HTML version, for the latest official release or the current bleeding-edge version.
Mailing list
Search or post on the mailing list for support from other users and developers.
Source code
The source code behind Tamarin, and the issue tracker in case you encounter a bug.