ProVerif

GPTKB entity

Statements (25)
Predicate Object
gptkbp:instanceOf gptkb:software
security protocol verifier
gptkbp:affiliation gptkb:INRIA
gptkbp:application cryptographic protocol analysis
gptkbp:canProve authentication properties
correspondence assertions
secrecy properties
gptkbp:citation Bruno Blanchet. "An Efficient Cryptographic Protocol Verifier Based on Prolog Rules." CSFW 2001.
gptkbp:developer Bruno Blanchet
gptkbp:firstReleased 2001
gptkbp:format proofs
applied pi calculus
attack traces
gptkbp:genre formal verification
https://www.w3.org/2000/01/rdf-schema#label ProVerif
gptkbp:license gptkb:GPL
gptkbp:operatingSystem Cross-platform
gptkbp:programmingLanguage gptkb:OCaml
gptkbp:relatedTo gptkb:Scyther
AVISPA
Tamarin prover
gptkbp:usedFor automatic analysis of security protocols
gptkbp:website https://proverif.inria.fr/
gptkbp:bfsParent gptkb:applied_pi-calculus
gptkbp:bfsLayer 7