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...
Source : Starus, CC BY-SA 4.0 Cryptography The security of electronic voting: vulnerabilities and solutions 26/07/2023
© 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