News
-
We have added research category pages to make it easier to find our work by topic. For example, this includes secure messaging, formal verification, and applied cryptography. Each page provides suggested reading, and links to related research and resources.
-
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. This paper laid the algorithmic foundation for the Tamarin prover and includes its first implementation.
-
If two security protocols are secure, when is it secure to run them simultaneously? We identify the requirements for Forward Secrecy and Post-Compromise Security, and apply our results to TLS 1.3 ECH.
-
We are proud to share that the Tamarin Prover team won the International Association for Cryptologic Research (IACR) Real World Cryptography 2026 Levchin Prize for “developing the Tamarin prover, and its use in the analysis of real world security protocols”.