Jump to content

CryptoVerif

From Wikipedia, the free encyclopedia
CryptoVerif
Initial release2005 (2005)
Stable release
1.21 / September 3, 2015 (2015-09-03)
Written inOCaml
Available inEnglish
LicenseMainly the GNU GPL / Windows binary BSD licenses
Websiteprosecco.gforge.inria.fr/personal/bblanche/cryptoverif/

CryptoVerif is a software tool for the automatic reasoning about security protocols written by Bruno Blanchet.[1]

Supported cryptographic mechanisms

[edit]

It provides a mechanism for specifying the security assumptions on cryptographic primitives, which can handle in particular

Concrete security

[edit]

CryptoVerif claims to evaluate the probability of a successful attack against a protocol relative to the probability of breaking each cryptographic primitive, i.e. it can establish concrete security.

References

[edit]
  1. ^ Bruno Blanchet. A Computationally Sound Mechanized Prover for Security Protocols. In IEEE Symposium on Security and Privacy, pages 140-154, Oakland, California, May 2006.
[edit]