Equipe-projet PESTO Techniques de Preuves pour les Protocoles de Sécurité L'objectif de l'équipe PESTO est de concevoir des modèles et techniques pour l'analyse et la...
© Inria / Photo G. Scagnelli / Création & réalisation : A. Lacouchie Sécurité et confidentialité Vote électronique : 5 questions pour en savoir plus avec Steve Kremer 19/01/2022
© Photo by Pietro Jeng on Unsplash Réseaux Sécurité des réseaux : des algorithmes dans la tour de contrôle 07/04/2021
© Inria / Photo G. Scagnelli 50 ans d'Inria : célébrons nos talents et imaginons notre futur numérique 29/03/2018
© Inria / Montage A. Lacouchie Logiciel Vote électronique : le logiciel Belenios s’ouvre au grand public 13/12/2019
