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

  1. statverif
    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
    Last published 13 Aug 2019