Menu Fermer

Équipe ECO: Exact Computing

Fabien LAGUILLAUMIE
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

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
Camille Mutschler, CNRS
Matteo Abbondati, UM
Laz Panard, CNRS


Autres personnels
Quentin Combal, CDD Ingénieur-Technicien, CNRS
Ferran Alborch Escobar, Doctorant externe, Orange
Anais Barthoulot, CDD Chercheur, UM
Agathe Beaugrand, Doctorant externe, UBordeaux

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 : Roland Ducournau, Laurent Imbert

Titre : Contributions à l’algèbre linéaire creuse sur corps finis et au chiffrement homomorphe.
Doctorant : Bastien Vialla
Date de soutenance : 2015-12-14
Directeurs de thèse : Laurent Imbert, Pascal Giorgi