Levchin Prize for Real-World Cryptography
Still buzzing from winning the 2026 Levchin prize, together with David Basin, Jannik Dreier, and Ralf Sasse for our work on the Tamarin prover, at IACR's Real-World Crypto conference in Taipei.
More details and videos here: tamarin-prover.com/2026/03/09/L...
Very proud and grateful to have won the 2026 #realworldcrypto Levchin prize together with David Basin, Jannik Dreier, and Ralf Sasse for our work on the Tamarin Prover (tamarin-prover.com), as well as having the amazing opportunity to give a keynote at RWC! Hope you enjoyed it! #realworldcrypto2026
Die Abstimmung der #Chatkontrolle im EU-Rat ist verschoben.
Das ist ein kleiner Sieg und vor allem euch zu verdanken! Die nächste Abstimmung ist für Dezember geplant - jetzt ist es wichtig den Druck bis dahin hoch zu halten.
Mehr Informationen folgen.
The EU Parliament has published a new proposal for Chat Control to mass-surveil all digital communication in Europe. The proposal is ineffective, weakens secure communication, and violates basic human privacy. This must be stopped immediately. #ChatControl
csa-scientist-open-letter.org/Sep2025
Tamarin Prover book hardcover
I'm very happy that physical copies of our Tamarin book are now available from Springer Nature:
link.springer.com/book/9783031...
or read the PDF and the accompanying files for free:
tamarin-prover.com/book/index.h...
big thanks to my co-authors David Basin, Jannik Dreier, and Ralf Sasse!
My research group has open positions for PhD students and Postdoctoral Researchers, starting fall 2025 or early 2026. Interested in advancing the state-of-the-art in automated verification or modern secure communications? See: people.cispa.io/cas.cremers/...
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
We’re thrilled to share: Three teams from CISPA have been honored at the SpringerOpen Cybersecurity Awards 2025!
Track A – Best Theoretical Research Paper
Track C – Best Machine Learning and Security Paper
Track D – Best Hardware and Physics Paper
cybersecurity.springeropen.com/best-paper-a...
"Formal Analysis of Security Protocols: State-of-the-art and Future Challenges"
On August 26 and 27 I'll be speaking at the FOSAD 2025 summer school on "Formal Analysis of Security Protocols: State-of-the-art and Future Challenges", including some of our recent work on Tamarin and its applications. Apply by July 21st here: sites.google.com/uniurb.it/fo...
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.
Tamarin book draft v0.9
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 tamarin-prover.com/book/