https://bsky.app/profile/cascremers.bsky.socialhttps://bsky.app/profile/cascremers.bsky.social/post/3mgwpvnm42222Still 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: https://tamarin-prover.com/2026/03/09/Levchin-Prize.html13 Mar 2026 10:38 +0000at://did:plc:d64x24wnksa6dindrwi3llrh/app.bsky.feed.post/3mgwpvnm42222https://bsky.app/profile/cascremers.bsky.social/post/3lvqbx2n6ac2cI'm very happy that physical copies of our Tamarin book are now available from Springer Nature: https://link.springer.com/book/9783031909351 or read the PDF and the accompanying files for free: https://tamarin-prover.com/book/index.html big thanks to my co-authors David Basin, Jannik Dreier, and Ralf Sasse!06 Aug 2025 13:04 +0000at://did:plc:d64x24wnksa6dindrwi3llrh/app.bsky.feed.post/3lvqbx2n6ac2chttps://bsky.app/profile/cascremers.bsky.social/post/3lv3lx45ph22hMy 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: https://people.cispa.io/cas.cremers/positions/ https://people.cispa.io/cas.cremers/index.html29 Jul 2025 07:37 +0000at://did:plc:d64x24wnksa6dindrwi3llrh/app.bsky.feed.post/3lv3lx45ph22hhttps://bsky.app/profile/cascremers.bsky.social/post/3lt55udbqxc22On 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: https://sites.google.com/uniurb.it/fosad/home/fosad-2025/04 Jul 2025 11:40 +0000at://did:plc:d64x24wnksa6dindrwi3llrh/app.bsky.feed.post/3lt55udbqxc22https://bsky.app/profile/cascremers.bsky.social/post/3lkiq42m3ts2pNearly 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/16 Mar 2025 13:19 +0000at://did:plc:d64x24wnksa6dindrwi3llrh/app.bsky.feed.post/3lkiq42m3ts2p