IEEE CSF Test-of-Time award for the foundational Tamarin paper

At FLoC/CSF 2026 in Lisbon, Portugal, our 2012 paper “Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties”, by Benedikt Schmidt, Simon Meier, Cas Cremers, and David Basin, was awarded the IEEE CSF 2026 Test-of-Time award.