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
  • Akiss: Tool for checking trace equivalence for security protocols
  • DeepSec: DEciding Equivalence Properties in SECurity protocols