Mathématiques & Sécurité de l’information
Responsable
Samir Adly
samir.adly@xlim.fr
Secrétariat
Julie BREDOUX
Debora THOMAS
julie.bredoux@xlim.fr debora.thomas@xlim.fr
Personnel
40 permanents, 15 doctorants, 7 post docs
Présentation
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.
Thèses
Équipes
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.