CryptoVerif

MaRDI QIDQ21886swMATHFDO

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