CISPA Helmholtz Center for Information Security

cispa.de

04 August 2026 20:00

Congrats to CISPA-Faculty Prof. Cas Cremers, Prof. David Basin, Dr. Benedikt Schmidt, and Dr. Simon Meier on receiving the 2026 CSF Test-of-Time Award for their 2012 paper „Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties” 👏 More: cispa.de/en/test-of-time-award

Théophile Wallez

twal.org

25 July 2026 16:24

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

spooky Deirdre Connolly¹ ² at a distance

durumcrustulum.com

16 March 2026 20:07

guess where this also happens (complex cryptographic systems/protocols)

Fredrik Dahlgren

fegge.bsky.social

13 March 2026 04:20

So well deserved.

CISPA Helmholtz Center for Information Security

cispa.de

10 March 2026 09:18

Huge congrats to CISPA-Faculty Cas Cremers (@cascremers.bsky.social) and his colleagues David Basin (@ethz.ch), Jannik Dreier ( @univlorraine.bsky.social/Loria), and Ralf Sasse (ETH Zurich), who have been awarded the Levchin Prize for Real-World Cryptography today! More at cispa.de/en/levchin-p...