package proverifdoc

You can search for identifiers within the package.

in-package search v0.2.0

Documentation for ProVerif, a cryptographic protocol verifier in the symbolic model

Install

Dune Dependency

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

Authors

B

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

Maintainers

B

Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@inria.fr>

Sources

proverifdoc2.02pl1.tar.gz

sha256=04b453f1c6e66ac57b1c32a6b3400867ef512f5c2f4ff5e09a87973cabec9ea2

md5=cd71c193bef4a922ca7a7078be457574

Description

Published: 05 Sep 2020

Dependencies

None

Dev Dependencies

None

Used by (1)

proverif = "2.01" | = "2.02pl1"

Conflicts

None

On This Page

Description
Dependencies
Dev Dependencies
Used by (1)
Conflicts