News

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.

We are in the proccess of redesigning the Tamarin Prover 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.