Ghassan Karame
@ghassankarame.bsky.social
Professor of Computer Science at RUB/HGI/CASA, Chief Scientific Advisor at NEC Labs, Decentralized Security
Reposted by Ghassan Karame
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.