I'm very happy that physical copies of our Tamarin book are now available from Springer Nature:
link.springer.com/book/9783031...

or read the PDF and the accompanying files for free:
tamarin-prover.com/book/index.h...

big thanks to my co-authors David Basin, Jannik Dreier, and Ralf Sasse!

On August 26 and 27 I'll be speaking at the FOSAD 2025 summer school on "Formal Analysis of Security Protocols: State-of-the-art and Future Challenges", including some of our recent work on Tamarin and its applications. Apply by July 21st here: sites.google.com/uniurb.it/fo...

Nearly finished! "Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide" (Basin, Cremers, Dreier, and Sasse) will be published by Springer in the near future.

I'm very happy to announce that a full draft of our book is now available for download at tamarin-prover.com/book/