CryptoVerif es una herramienta de software para el razonamiento automático sobre protocolos de seguridad escrito por Bruno Blanchet. [1]
Proporciona un mecanismo para especificar los supuestos de seguridad en primitivas criptográficas , que pueden manejar en particular
CryptoVerif pretende evaluar la probabilidad de un ataque exitoso contra un protocolo en relación con la probabilidad de romper cada primitiva criptográfica, es decir, puede establecer una seguridad concreta .