Reposted by @cascremers.bsky.socialThéophile Wallez @twal.org · 25/07/2026My latest project, in collaboration with @cascremers.bsky.social, is out! It is Bob DyLean, a framework to analyze cryptographic protocols in the symbolic model, in Lean. 272
cascremers.bsky.social @cascremers.bsky.social · 13/03/2026Still 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... 071
Reposted by @cascremers.bsky.socialkhaleesi @khaleesicodes.bsky.social · 08/10/2025Die 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. 16020
Reposted by @cascremers.bsky.socialTjerand Silde @tjesi.bsky.social · 09/09/2025The 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/Sep2025csa-scientist-open-letter.org 12314
cascremers.bsky.social @cascremers.bsky.social · 06/08/2025I'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! 160
cascremers.bsky.social @cascremers.bsky.social · 29/07/2025My 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/...people.cispa.ioHome | Cas CremersCas Cremers' publications 010
Reposted by @cascremers.bsky.socialCISPA Helmholtz Center for Information Security @cispa.de · 21/07/2025We’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... 141
cascremers.bsky.social @cascremers.bsky.social · 04/07/2025On 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... 160
cascremers.bsky.social @cascremers.bsky.social · 16/03/2025Nearly 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/ 272
