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 gtmfs2023@sciencesconf.org.

Tools to be presented (TBC):

• Xyntia, Grégoire MENGUY
• PreCA, Grégoire MENGUY
• BinSEC, Frédéric Recoules
• CryptoVerif, Bruno Blanchet
• Proverif, Vincent Cheval
• ASTD (eASTD & cASTD), Diego De Azevedo Oliveira
• Squirrel, Adrien Koutsos
• Tamarin Prover, Jannik Dreier