CryptoVerif

swMATH9907MaRDI QIDQ21886FDOQ21886

Author name not available (Why is that?)

Official website: http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/

Cited In (5)

• Financial cryptography and data security. FC 2011 workshops, RLCPS and WECSR 2011, Rodney Bay, St. Lucia, February 28--March 4, 2011. Revised selected papers
• ASPIER
• Lockr
• PassPoints
• Proved generation of implementations from computationally secure protocol specifications

This page was built for software: CryptoVerif