package statverif

  1. Overview
  2. Docs
StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif.

Install

Dune Dependency

sec.cs.bham.ac.uk Edit opam file Versions (3)

Authors

  1. E
    Eike Ritter, Joshua Philipps, Bruno Blanchet, Vincent Cheval, and Marc Sylvestre

Maintainers

  1. E
    Eike Ritter <E.Ritter@cs.bham.ac.uk>

Sources

statverif-1.97pl1.tar.gz
md5=6e4ab2c56c4af4cb001c8e6353ad00d5

Description

Published: 29 Sep 2017

Dependencies (3)

  1. ocamlbuild build
  2. ocamlfind build
  3. ocaml < "4.06"

Dev Dependencies

None

Used by

None

Conflicts

None