Tool session

Tool Session

A tool session will provide room for informal discussions about the various tools developed in the community in the spirit of a poster session. To participate and present your own tool, please send a mail to gtmfs2024@sciencesconf.org.

Tools to be presented:

- Binsec - Frédéric Recoules
- Codex - Matthieu Lemerre and Julien Simonnet
- CryptoVerif - Bruno Blanchet
- Pandora - Lesly-Ann Daniel
- Proverif- Bruno Blanchet
- Squirrel - Joseph Lallemand and Charlie Jacomme
- Tamarin- Jannick Dreier
- VSCode extension for ProVerif - Florian Moser