3 Search Results
cryptoverif
CryptoVerif: Cryptographic protocol verifier in the computational model
Bruno Blanchet <Bruno.Blanchet@inria.fr> and David Cadé <David.Cade@normalesup.org>
2.06
CECILL-B
Used by 0 other packages
proverif
ProVerif: Cryptographic protocol verifier in the symbolic model
Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@inria.fr>, Marc Sylvestre
2.04
GPL-2.0-or-later
Used by 0 other packages
proverifdoc
Documentation for ProVerif, a cryptographic protocol verifier in the symbolic model
Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@inria.fr>, Ben Smyth <research@bensmyth.com>, Marc Sylvestre
2.04
Public domain
Used by 1 other packages