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.06.tar.gz
sha256=e8de9daa77cb5ba3907c84e1ed4540219f9bc80fa029651d88cfb594c335011c
md5=44c641a07abb652e6299c7ac71a8945c

doc/index.html

cryptoverif