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...
Equipe-projet PETSCRAFT Concevoir des technologies d'amélioration de la vie privée explicables et efficaces
Equipe-projet PRIVATICS Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information L'équipe-projet Inria PRIVATICS s'intéresse depuis sa création en 2014 au respect de la vie privée...
Equipe-projet QINFO Traitement optimal de l'information avec des dispositifs quantiques Les dispositifs de traitement de l'information qui peuvent tirer parti des lois de la théorie...
Equipe-projet QUACS Structures de calcul quantique L'encodage d'informations dans des systèmes quantiques et leur manipulation promettent de grands...
Equipe-projet SPADES Programmation de systèmes embarqués sûrs et adaptatifs L'équipe-projet SPADES cherche à maîtriser la complexité et la fiabilité de systèmes embarqués...
Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...
Equipe-projet SYCOMORES Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires L'objective de l'équipe-project commun SYCOMORES est de developper un framework pour la conception...