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...

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

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/...

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...

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...

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/