Top Qs
Timeline
Chat
Perspective
CryptoVerif
Software tool for software verification From Wikipedia, the free encyclopedia
Remove ads
CryptoVerif is a software tool for the automatic reasoning about security protocols written by Bruno Blanchet.[1]
![]() | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
|
Remove ads
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
External links
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads