News
-
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”.