Tamarin Prover team wins the Levchin Prize for Real World Cryptography

We are proud to share that the Tamarin Prover team won the International Association for Cryptologic Research (IACR) Real World Cryptography 2026 Levchin Prize for “developing the Tamarin prover, and its use in the analysis of real world security protocols”.

The award ceremony took place at the IACR Real World Crypto (RWC) conference in Taipei, Taiwan. Watch the award ceremony and the keynote on Tamarin given by Cas Cremers.

We are extremely grateful to all of our developers, contributors, and users, who have made Tamarin a success throughout the years. We look forward to many exciting new features and use cases in the future.

Thank you all!