1 search result for "author:"Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@inria.fr>, Marc Sylvestre""

  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