2 search results for "author:"Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@inria.fr>""

  1. 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
    Last published 01 Dec 2021
  2. 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
    Last published 01 Dec 2021