Équipe ECO: Exact Computing

Fabien LAGUILLAUMIE

Responsable

Équipe ECO

Exact Computing

L’activité de recherche de l’équipe ECO couvre un large spectre de thématique à l’interface du calcul formel, des codes correcteurs d’erreurs, avec des motivations qui vont des fondements théoriques aux applications pratiques de ces domaines. L’originalité de nos approches est de combiner divers aspects de l’informatique et des mathématiques. En particulier, nous sommes intéressé par :

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

Plus précisément, notre travaux actuels concernent les problèmes suivants:

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

Membres

Permanents
Pascal Giorgi, Professeur des universités, UM
Katharina Boudgoust, Chargé de recherche, CNRS
Laurent Imbert, Directeur de recherche, CNRS
Fabien Laguillaumie, Professeur des universités, UM
Romain Lebreton, Maître de conférences, UM
Andrei Romashchenko, Chargé de recherche, CNRS
Eleonora Guerrini, Maître de conférences, UM
Nicolas Serrurier Gourvès, Adjoint technique, UM

Doctorants
Lucas Ottow, UM
Matteo Abbondati, UM
Laz Panard, CNRS

Autres personnels
Rostislav Matveev, CDD Chercheur, CNRS
Quentin Combal, CDD Ingénieur-Technicien, CNRS
Haetham Al Aswad, CDD Chercheur, CNRS
Federico Savasta, CDD Chercheur, CNRS
Gabrielle Beck, CDD Chercheur, CNRS
Agathe Beaugrand, Doctorant externe, UBordeaux

thèses soutenues

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