package statverif

You can search for identifiers within the package.

in-package search v0.2.0

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

Install

Dune Dependency

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

Authors

E

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

Maintainers

E

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

Sources

1.97pl1.2.tar.gz

sha256=9156f24064ca765cf018073636812cb46b9a454481f865b8d41454a635befe3d

md5=8ff654f628af23cb7921f277efabc574

doc/index.html

statverif