proverifversion

ProVerif: Cryptographic protocol verifier in the formal model

AuthorBruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@icloud.com>, Ben Smyth <research@bensmyth.com>, Marc Sylvestre <marc.sylvestre@inria.fr>
LicenseGNU General Public License
Published
Homepagehttp://proverif.inria.fr/
Issue Trackerbruno.blanchet@inria.fr
MaintainerBruno Blanchet <bruno.blanchet@inria.fr>, Marc Sylvestre <marc.sylvestre@inria.fr>
Dependencies
Source [http] http://proverif.inria.fr/proverif1.96pl1.tar.gz
md5=ae31b3c6c9d364fa1cc2f3047bb9167c
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/proverif/proverif.1.96pl1/opam
No package is dependent