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...
26 juin – 6 juillet 2024 Communication / Événement La quinzaine internationale de la logique et du raisonnement automatique se tiendra à Nancy ! Lieu : Centre Inria de l'Université de Lorraine
© Inria / Photo S. Erôme Sécurité numérique Prix CNIL-Inria 2024 : le vote électronique et le marketing digital des enfants en question 22/05/2024
Source : Starus, CC BY-SA 4.0 Cryptographie Sécurisation du vote électronique : des failles et des solutions 26/07/2023
© 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
