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

Showing 1 - 1
  1. proverifdoc
    Documentation
    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.05
    Public domain
    Used by 1 other packages
    18 Oct 2023