package cryptoverif

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

Install

Dune Dependency

Authors

Maintainers

Sources

cryptoverif2.02.tar.gz
md5=d8fc3009b4de37f09ab769a323198c0c
sha512=1fcc9a991211d13b0fa2b4ebe864a4595cd90a85bb71bed3e82a8fbf5f9304567b42875adebae9b78f2df9fcee56c7659f02fe83f15bca57ab854b607cba2058

doc/index.html

cryptoverif

OCaml

Innovation. Community. Security.