@cascremers.bsky.social
Great news! If you're interested, read the full version of our paper "Keeping Up with the KEMs: Stronger Security Notions for KEMs and automated analysis of KEM-based protocols", which won in Track A, at eprint.iacr.org/2023/1933.pdf
eprint.iacr.org
July 21, 2025 at 2:54 PM
Great news! If you're interested, read the full version of our paper "Keeping Up with the KEMs: Stronger Security Notions for KEMs and automated analysis of KEM-based protocols", which won in Track A, at eprint.iacr.org/2023/1933.pdf
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.