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
Huge congrats to the Tamarin Team on winning the Levchin Prize for the Tamarin prover, and its use in the analysis of real-world security protocols. #realworldcrypto2026
Levchin Prize moment: big congrats to Martin Hellman and Whitfield Diffie for the invention of public key cryptography! #realworldcrypto2026
Only 16 hours left to submit contributed talks for #RealWorldCrypto2026!
Submit here: submit.iacr.org/rwc2026/
Huge shout-out to VERISIGN for supporting #RealWorldCrypto2026!
A huge thank you to Zcash Foundation (@zfnd.org) for your generous support and commitment to the symposium. #RealWorldCrypto2026
