Menu Fermer

É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

Permanents
Pascal Giorgi, Maître de conférences, UM
Laurent Imbert, Directeur de recherche, CNRS
Fabien Laguillaumie, Professeur des universités, UM
Romain Lebreton, Maître de conférences, UM
Eleonora Guerrini, Maître de conférences, UM

Doctorants
Camille Mutschler, NINJALAB
Matteo Abbondati, UM

Autres personnels
Ferran Alborch Escobar, Doctorant externe, Orange
Armelle Perret Du Cray, CDD Enseignant-Chercheur, UM
Agathe Beaugrand, Doctorant externe, UBordeaux