Equipe-projet CAMUS Compilation pour les Architectures MUlti-coeurS L'équipe CAMUS s'attache à développer, adapter et étendre des techniques de parallélisation et d...
Equipe-projet CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Nos travaux visent le domaine général d'application de la cryptographie et de la cryptanalyse, d'un...
Equipe-projet GAMBLE Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien La géométrie algorithmique classique traite habituellement d'objets linéaires dans un cadre...
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 VERIDIS Modeling and Verification of Distributed Algorithms and Systems L'équipe projet VeriDis est commune au centre de recherche Inria Nancy–Grand Est, le Max-Planck...