package cryptoverif

  1. Overview
  2. Docs
CryptoVerif: Cryptographic protocol verifier in the computational model

Install 

dune-project
 Dependency

cryptoverif.inria.fr Edit opam file Versions (12)

Authors

  1. B
    Bruno Blanchet <Bruno.Blanchet@inria.fr> and David Cadé <David.Cade@normalesup.org>

Maintainers

  1. B
    Bruno Blanchet <Bruno.Blanchet@inria.fr>

Sources

cryptoverif2.03pl1.tar.gz
md5=d0f0525bbdd4a2820214cdfa51f2f4a7
sha512=c8a1ea460b28be1c06db24826d6bcbe307f142d9248042d9a75ffe5a4c48a1c9f12157d2b83c8176aad7c03de031b62a37d8f6b3230d78195871908d2c7de6d5

doc/index.html

cryptoverif