Session Outils

Session Outils

Une session outils permettra de présenter et d'échanger informellement autour des différents outils développés par la communauté sous un format "session poster". Pour présenter un outil, merci de contacter les organisateurs à gtmfs2022-tools@sciencesconf.org

Outils présents (TBC):

- CryptoVerif et 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)