proverifversion
ProVerif: Cryptographic protocol verifier in the formal model
| Author | Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@icloud.com>, Ben Smyth <research@bensmyth.com>, Marc Sylvestre <marc.sylvestre@inria.fr> |
|---|---|
| License | GPL-1.0-or-later |
| Published | |
| Homepage | http://proverif.inria.fr/ |
| Issue Tracker | bruno.blanchet@inria.fr |
| Maintainer | Bruno Blanchet <bruno.blanchet@inria.fr>, Marc Sylvestre <marc.sylvestre@inria.fr> |
| Dependencies |
|
| Source [http] | http://proverif.inria.fr/proverif1.96pl1.tar.gz md5=ae31b3c6c9d364fa1cc2f3047bb9167c |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/proverif/proverif.1.96pl1/opam |
No package is dependent
