
Équipe ECO
Exact Computing
- l’algèbre, pour comprendre et décrire les structures sous-jacentes des objets manipulés
- la combinatoire, pour analyser leur propriétés
- l’arithmétique, pour résoudre efficacement des problèmes calculatoires
- le logiciel, pour rendre nos résultats théoriques effectifs dans des solutions pratiques.
- la théorie de la complexité, pour établir l’efficacité des algorithmes et la sécurité de système cryptographique
- Calcul Formel: algorithmes efficaces en algèbre linéaire, arithmétique des polynômes creux ou en-place, arithmétique des corps finis, certification de calcul
- Cryptographie: cryptographie à clé publique, courbes elliptiques, attaque par canaux auxiliaires et contre-mesures, conception et preuve de protocoles, cryptographie avancée, calcul multi-partie, cryptographie post-quantique
- Code Correcteur d’Erreur: algorithme de décodage algébrique, bornes sur les paramètres, algèbre linéaire taulérant aux fautes
curlGET failed: SSL: no alternative certificate subject name matches target host name ‘api.lirmm.fr’
curlGET failed: SSL: no alternative certificate subject name matches target host name ‘api.lirmm.fr’
curlGET failed: SSL: no alternative certificate subject name matches target host name ‘api.lirmm.fr’
Titre : Étude des gadgets masqués dans Kyber
Doctorant : Camille Mutschler
Date de soutenance : 2024-12-17
Directeur de thèse :
Laurent Imbert
Titre : Algorithmes pour les polynômes creux: interpolation, arithmétique, test d’identité
Doctorant : Armelle Perret Du Cray
Date de soutenance : 2023-03-29
Directeur de thèse :
Pascal Giorgi
Titre : Reconstruction Rationnelle Simultanée et applications à la Théorie des Codes Correcteurs d’Erreurs
Doctorant : Ilaria Zappatore
Date de soutenance : 2020-10-16
Directeur de thèse :
Laurent Imbert
Titre : Détection de comportements à risque dans les applications en utilisant l’analyse statique
Doctorant : Denis Martinez
Date de soutenance : 2016-02-02
Directeurs de thèse :
Laurent Imbert,
Roland Ducournau