Project-team PESTO Proof techniques for security protocols The aim of the Pesto project is to build formal models and techniques, for computer-aided analysis...
© Inria / Photo G. Scagnelli / Création & réalisation : A. Lacouchie Security and confidentiality Electronic voting: 5 questions to find out more with Steve Kremer 19/01/2022
© Photo by Pietro Jeng on Unsplash Networks Network security: algorithms in the control tower 07/04/2021
