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>, Pierre Boutry <boutry.pierre@gmail.com>, David Cadé <David.Cade@normalesup.org>, Christian Doczkal <christian.doczkal@mpi-sp.org>, Charlie Jacomme <Charlie.Jacomme@inria.fr>, Benjamin Lipp <Benjamin.Lipp@mpi-sp.org>, and Pierre-Yves Strub <pierre-yves@strub.nu>

Maintainers

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

Sources

cryptoverif2.08.tar.gz
md5=458afa898f3e0d1245a63a4b3fd7e847
sha512=9dd06b92318c1feef96fcfa66530dbb9667f3d0614c05042d8a4c436798cb200fb58f024d9eed06b2d6ea0874bf7bc617841559101991028d2d335d29357015f

doc/index.html

cryptoverif