Peter Schwabe
@cryptojedi.bsky.social
Researcher in cryptographic engineering at MPI-SP.
Reposted by Peter Schwabe
Updated version v0.9.5 of our book now available at tamarin-prover.com/book/ , with a range of improvements and exercises at the end.
Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide
The Tamarin prover is a security protocol verification tool that supports both falsification and unbounded verification in the symbolic model.
tamarin-prover.com
May 2, 2025 at 7:44 AM
Updated version v0.9.5 of our book now available at tamarin-prover.com/book/ , with a range of improvements and exercises at the end.