Vous êtes ici

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


Présentation

Équipes

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.

Cryptis

L'équipe "Cryptis" est une équipe de recherche Mathématiques-Informatique, à large spectre de recherche en cryptographie/sécurité et très reliée au Master Cryptis.

L'équipe est organisée autour de 4 projets de recherche :
1. Cryptologie,
2. Attaques physiques et cryptologie des systèmes embarqués,
3. Sécurité des systèmes et des réseaux,
4. Mathématiques discrètes, codage, arithmétique effective et applications.

L'équipe est à la fois intéressée par les aspects théoriques et pratiques de la sécurité et de la cryptologie, et publie dans les meilleurs journaux et conférences du domaine. L'équipe entretient aussi des rapports forts avec l'industrie.

Modélisation Optimisation Dynamique

L'équipe « Modélisation Optimisation Dynamique » 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. Notre 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.

Théorie des nombres

L'équipe « Théorie des nombres » recouvre plusieurs thèmes de recherche : Théorie algébrique locale, Théorie algébrique globale et K-théorie, Théorie analytique archimédienne et Théorie analytique ultramétrique.