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.
-
Exercises, 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.
-
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.
-
Mail
For other inquiries (not bug reports or requests for modeling advice!) you can reach the current maintainers of the Tamarin Prover via mail.