package proverif

You can search for identifiers within the package.

in-package search v0.2.0

ProVerif: Cryptographic protocol verifier in the formal model

Install

Dune Dependency

proverif.inria.fr Edit opam file Versions (13)

Authors

B

Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@icloud.com>, Ben Smyth <research@bensmyth.com>, Marc Sylvestre <marc.sylvestre@inria.fr>

Maintainers

B

Bruno Blanchet <bruno.blanchet@inria.fr>, Marc Sylvestre <marc.sylvestre@inria.fr>

Sources

proverif1.96pl1.tar.gz

md5=ae31b3c6c9d364fa1cc2f3047bb9167c

Description

Published: 30 Jan 2017

Dependencies (3)

ocamlbuild
ocamlfind
ocaml < "4.06.0"

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (3)
Dev Dependencies
Used by
Conflicts