From Surf Wiki (app.surf) — the open knowledge base
CryptoVerif
Software tool for software verification
Software tool for software verification
| Field | Value |
|---|---|
| name | CryptoVerif |
| title | CryptoVerif |
| logo | |
| screenshot | |
| released | |
| latest release version | 1.21 |
| latest release date | |
| latest preview date | |
| programming language | OCaml |
| language | English |
| license | Mainly the GNU GPL / Windows binary BSD licenses |
| website |
CryptoVerif is a software tool for the automatic reasoning about security protocols written by Bruno Blanchet.
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
References
- Blanchet, Bruno. (2008). "A Computationally Sound Mechanized Prover for Security Protocols". IEEE Transactions on Dependable and Secure Computing.
This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.
Ask Mako anything about CryptoVerif — get instant answers, deeper analysis, and related topics.
Research with MakoFree with your Surf account
Create a free account to save articles, ask Mako questions, and organize your research.
Sign up freeThis content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.
Report