Tamarin book
Modeling and Analyzing Security Protocols with Tamarin:
A Comprehensive Guide
By David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse.
Physical copies will soon be availabe through Springer.
Download the Tamarin book draft:
v0.9.5 bookDownload the accompanying theories and exercise files for the book, in a single zip archive:
v0.9.5 filesIf you sign up to the Tamarin Prover mailing list, you will be notified when there are updates and when the final version of the book will be released by Springer.