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]

Quick Facts Initial release, Stable release ...
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

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads