Tool Session

Tool Session

A tool session will provide room for informal discussions around 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 gtmfs2022-tools@sciencesconf.org

Tools to be presented (TBC):

- CryptoVerif and ProVerif (Bruno Blanchet)
- Squirrel (Charlie Jacomme, Adrien Koutsos)
- DeepSec (Steve Kremer)
- Lazart (Etienne Boespflug)
- Binsec (Frédéric Recoules)
- Frama-C (Julien Signoles)
- Steel / F* (Aymeric Fromherz)
- Tamarin (Lucca Hirschi, Jannik Dreier)
- MetAcsl (Nikolai Kosmatov)
- Binsec/Xynthia (Grégoire Menguy)