Mastodon Feed
Boosted by nadim@infosec.exchange ("Nadim Kobeissi"):
cascremers@infosec.exchange ("Cas Cremers") wrote:
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/
