1 search result for "author:"Eike Ritter, Joshua Philipps, Bruno Blanchet, Vincent Cheval, and Marc Sylvestre ""

Showing 1 - 1
  1. statverif
    Documentation
    StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif
    Eike Ritter, Joshua Philipps, Bruno Blanchet, Vincent Cheval, and Marc Sylvestre
    1.97pl1.2
    GPL-2.0-only
    Used by 0 other packages
    13 Aug 2019