Inria
Inria.fr
Inria Channel
Algorithmique, programmation, logiciels et architectures
Dans la société numérique actuelle, les questions de sûreté et fiabilité des systèmes et des logiciels, de protection de données, de sécurité, d'authentification ou de certification sont devenues cruciales. Les équipes de l'INRIA s'attèlent à développer des méthodes et des outils pour y répondre.
Algorithmique, calcul certifié et cryptographie
- ALGORITHMS - Algorithmes
- ARIC - Arithmétiques des ordinateurs, méthodes formelles, génération de code
- CARAMEL - Cryptologie, Arithmétique : Matériel et Logiciel
- CASCADE - Conception et Analyse de Systèmes pour la Confidentialité et l'Authentification de Données et d'Entités
- CRYPT - Cryptanalyse
- GALAAD - Géométrie, algèbre, algorithmes
- GEOMETRICA - Calcul géométrique
- GRACE - Geometry, arithmetic, algorithms, codes and encryption
- LFANT - Théorie algorithmique des nombres rapide et flexible
- OURAGAN - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs
- POLSYS - Polynomial Systems
- SECRET - Sécurité, Cryptologie et Transmissions
- VEGAS - Algorithmes géométriques effectifs pour la visibilité et les surfaces
Rechercher une équipe
Par centre de recherche Inria
Par domaine
- Mathématiques appliquées, calcul et simulation
- Algorithmique, programmation, logiciels et architectures
- Réseaux, systèmes et services, calcul distribué
- Perception, cognition, interaction
- STIC pour les sciences de la vie et de l'environnement
