statverif 1.97pl1.2 · OCaml Package

statverif

StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif

Version

Description

Install

http://sec.cs.bham.ac.uk/research/StatVerif

Authors

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

Maintainers

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

Sources

1.97pl1.2.tar.gz

md5=8ff654f628af23cb7921f277efabc574

Dependencies

ocamlbuild

build

ocamlfind

build

ocaml

Reverse Dependencies