Tools - Vincent Cheval

List of all the tools I have worked on

  • APTE: Algorithm for Proving Trace Equivalence
  • Adecs: A decision algorithm for proving symbolic equivalence of constraint systems
  • ProVerif: Cryptographic protocol verifier in the formal model