Tools
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