Tamarin prover book draft now available for download!

[Cas Cremers]

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 https://tamarin-prover.com/book/

We will post any updates on the book and details on when the official version will be available from Springer on this mailing list. Stay tuned!

Best wishes,

Cas (& David & Jannik & Ralf)

[Alexandre Anzala-Yamajako]

This is GREAT news.

Thank you for the effort of putting it together and for making available to the community

Alexandre Yamajako-Anzala.

--
You received this message because you are subscribed to the Google Groups "tamarin-prover" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tamarin-prove...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tamarin-prover/d327c806-a494-4cc3-b867-90aecb3b5135n%40googlegroups.com.

[Cas Cremers]

Dear all,

We have just released a new version (v0.9.5) of the Tamarin book, available at https://tamarin-prover.com/book/ , notably with exercises at the end and several improvements across the board.

Best wishes,

Cas