News

We are proud to share that the Tamarin Prover team won the International Association for Cryptologic Research (IACR) Real World Cryptography 2026 Levchin Prize for “developing the Tamarin prover, and its use in the analysis of real world security protocols”.

Tamarin 1.12 is now available with many quality of life features and GUI improvements, including reloading externally edited files, and new zoomable graphs, which can be popped out into a separate window, e.g., for multi-monitor use.

batch-tamarin is a Python wrapper for Tamarin Prover that enables batch execution of protocol verification tasks with reproducibility features. Available now on PyPI. Blog post below!

Our Tamarin book is now available in hardcover from Springer Nature and electronically on our website.

Using a news feed reader? We now have an Atom/RSS feed available for new posts: Atom/RSS Feed.

You can now download the theory files and exercise files for the book on the book webpage. These files allow you to run the all example sources files from the book, and compare your exercise solutions to ours.

We are in the proccess of redesigning the Tamarin Prover website. Expect more updates in the next weeks as we work on the website.

Aleksi Peltonen created a great lecture slide deck for a graduate-level course on Tamarin.

We have been working on a book to support Tamarin users, which will be published soon by Springer. Learn more about our book here.