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.

If 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.