Mathématiques & Sécurité de l’information

Responsable

Daniel MENEVEAUX

  daniel.meneveaux@xlim.fr

 

Secrétariat

Sophie QUEILLE
Debora THOMAS

  sophie.queille@xlim.fr
  debora.thomas@xlim.fr

Personnel

40 permanents, 15 doctorants, 7 post docs

Consulter la liste des membres de l'axe de recherche

Présentation

L’axe Mathis regroupe les équipes de recherche en mathématiques (sections CNU 25 et 26) et en sécurité de l’information (section CNU 27) de l’Université de Limoges.

Les mots clés des thématiques de recherche de Mathis sont : calcul formel; équations différentielles et fonctionnelles; calcul symbolique-numérique; cryptologie; attaques physiques et cryptologie des systèmes embarqués; sécurité des systèmes et des réseaux; codage; arithmétique effective; analyse variationnelle; optimisation mathématique; contrôle optimal et EDP; théorie algébrique des nombres; théorie analytique des nombres; algèbre P-récursive; analyse p-adique.

La dynamique scientifique de l’axe repose sur plusieurs éléments structurants :

le développement de modèles statistiques pour la définition et la mesure d’attributs visuels, exploités à la fois pour l’analyse d’images, la synthèse de textures, ou encore la simulation d’éclairage ;

Publications

Consultez la liste des publications de l’axe de recherche.

Voire les publications

Thèses

Consultez la liste des thèses de l’axe de recherche.
Voir les thèses

Équipes

CREATE
L’équipe CREATE est une équipe pluridisciplinaire, ouverte et actuellement composée d’enseignants-chercheurs permanents des sections CNU 25 et 27 et de doctorants. Elle s’intéresse à l’élaboration de solutions de sécurité et utilisant l’intelligence artificielle pour résoudre diverses problématiques liées aux objets connectés.
Calcul Formel

L’équipe « Calcul Formel » développe de nouvelles méthodes de calcul permettant d’obtenir des représentations symboliques exactes et des informations qualitatives et quantitatives certifiées pour les solutions d’équations différentielles, polynomiales et plus généralement, fonctionnelles. Ses résultats théoriques et algorithmiques sont intégrés dans des réalisations logicielles qui viennent compléter les « solvers » déjà existants pour la modélisation et la résolution concrète de problèmes scientifiques.

Modélisation Optimisation Dynamique
L’équipe « Modélisation Optimisation Dynamique (MOD) » recouvre plusieurs thèmes de recherche : optimisation numérique, optimisation non lisse, analyse variationnelle et non lisse, EDP, contrôle optimal et transport optimal de masse. L’activité de recherche consiste à développer des outils d’analyse et des algorithmes de résolution en vue de les appliquer à l’étude théorique et à la résolution effective de problèmes d’optimisation et variationnels issus des sciences de l’ingénieur.
Cryptis
L’équipe « Cryptis » est une équipe de recherche Mathématiques-Informatique, à large spectre de recherche en cryptographie/sécurité sur le continuum de la théorie à la pratique et très reliée au Master Cryptis.
Théorie des nombres
L’équipe Théorie des Nombres (TN) se consacre à des problèmes relevant de la K-théorie arithmétique, de problèmes de Galois à la fois finis et infinis, du p-adique et des entiers friables.