CryptoVerif
Jump to navigation
Jump to search
![]() | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
|
Initial release | 2005 |
---|---|
Stable release | 1.21
/ September 3, 2015 |
Written in | OCaml |
Available in | English |
License | Mainly the GNU GPL / Windows binary BSD licenses |
Website | prosecco |
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
- symmetric encryption,
- message authentication codes,
- public-key encryption,
- signatures,
- hash functions.
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
- ^ Bruno Blanchet. A Computationally Sound Mechanized Prover for Security Protocols. In IEEE Symposium on Security and Privacy, pages 140-154, Oakland, California, May 2006.
External links
Categories:
- Articles with short description
- Short description matches Wikidata
- Wikipedia articles with style issues from November 2011
- All articles with style issues
- Articles needing additional references from November 2011
- All articles needing additional references
- Articles with topics of unclear notability from December 2021
- All articles with topics of unclear notability
- Products articles with topics of unclear notability
- Articles with multiple maintenance issues
- Official website different in Wikidata and Wikipedia
- Cryptographic software