| Title | CryptoVerif |
|---|---|
| Released | 2005 |
| Latest release version | 1.21 |
| Latest release date | September 3, 2015 |
| Programming language | OCaml |
| Language | English |
| License | Mainly the GNU GPL / Windows binary BSD licenses |
| Website | prosecco.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
It provides a mechanism for specifying the security assumptions on cryptographic primitives, which can handle in particular
Concrete security
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
- ^ Blanchet, Bruno (2008). "A Computationally Sound Mechanized Prover for Security Protocols". IEEE Transactions on Dependable and Secure Computing. 5 (4): 193–207. doi:10.1109/TDSC.2007.1005