TAMARIN Prover
Tamarin book
Modeling and Analyzing Security Protocols with Tamarin:
A Comprehensive Guide
By David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse.
Download the Tamarin book draft:
Book pdfOrder a physical copy from Springer Nature:
HardcoverDownload the accompanying theories and exercise files for the book, in a single zip archive:
Accompanying filesIf you sign up to the Tamarin Prover mailing list, you will be notified when there are updates.