CryptoVerif
From MaRDI portal
Software:21886
No author found.
Related Items (2)
Proved Generation of Implementations from Computationally Secure Protocol Specifications ⋮ Financial cryptography and data security. FC 2011 workshops, RLCPS and WECSR 2011, Rodney Bay, St. Lucia, February 28--March 4, 2011. Revised selected papers
This page was built for software: CryptoVerif
