É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
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