Cryptanalyse assistée par attaques physiques pour les schémas basés sur les codes correcteurs d’erreurs
L’évaluation de la sécurité de la cryptographie post-quantique, sous l’angle des attaques physiques, a été particulièrement étudiée dans la littérature, notamment sur les standards ML-KEM, et ML-DSA, basés sur les réseaux euclidiens. De plus, en mars 2025, le schéma HQC, basé sur les codes correcteurs d’erreurs, a été standardisé comme mécanisme d’encapsulation de clé alternatif à ML-KEM. Récemment, les Soft-Analytical Side-Channel Attacks (SASCA) ont été utilisées sur une grande variété d’algorithmes, afin de combiner l’information liée aux variables intermédiaires pour remonter au secret, apportant une forme de « correction » à l’incertitude liée aux attaques profilées. SASCA repose sur des modèles probabilistes appelés « factor graphs », sur lesquels un algorithme de « belief propagation » est appliqué. Dans le cas des attaques sur cryptosystèmes post-quantiques, il est en théorie possible d’utiliser la structure mathématique sous-jacente pour traiter la sortie d’une attaque SASCA sous la forme d’une cryptanalyse. Cela a par exemple été montré sur ML-KEM. L’objectif de cette thèse est de construire une méthodologie et les outils nécessaires de cryptanalyse et de calcul de complexité résiduelle pour la cryptographie basée sur les codes correcteurs d’erreurs. Ces outils devront prendre en compte l’information (« hints ») issue d’une attaque physique. Un second pan de la thèse sera d’étudier l’impact que peut avoir ce type d’outil sur le design de contremesures.
Réseaux de neurones bayésiens avec transistors à effet de champ à mémoire ferroélectrique (FeMFETs)
De plus en plus de systèmes critiques pour la sécurité reposent sur des fonctions d’intelligence artificielle (IA) qui exigent des capacités de calcul robustes et économe en énergie, souvent dans des environnements marqués par une rareté des données et une forte incertitude. Cependant, les approches traditionnelles de l’IA peinent à quantifier la confiance associée à leurs prédictions, ce qui les rend vulnérables à des décisions peu fiables, voire dangereuses.
Cette thèse s’inscrit dans le domaine émergent de l’électronique bayésienne, qui exploite l’aléa intrinsèque de nanodispositifs innovants pour effectuer des calculs bayésiens directement au niveau du matériel. En encodant les distributions de probabilité au sein même du hardware, ces dispositifs permettent une estimation naturelle de l’incertitude, tout en réduisant la complexité computationnelle par rapport aux architectures déterministes classiques.
Des travaux antérieurs ont déjà démontré le potentiel des memristors pour l’inférence bayésienne. Cependant, leur endurance limitée et leur consommation énergétique élevée lors de la programmation représentent des obstacles majeurs à l’apprentissage embarqué sur puce.
Dans cette thèse, il est proposé d’exploiter des composants mémoires emergents ferroelectric memory field-effect transistors (FeMFETs) pour l’implémentation de réseau de neurones bayésiens.
Détection d'anomalies dans les vidéos adaptative et explicable
La détection d'anomalies dans les vidéos (VAD) vise à identifier automatiquement les événements inhabituels dans des séquences vidéo qui s’écartent des comportements normaux. Les méthodes existantes reposent souvent sur l'apprentissage One-Class ou faiblement supervisé : le premier n'utilise que des données normales pour l'entraînement, tandis que le second s'appuie sur des labels au niveau de la vidéo. Les récents progrès des modèles Vision-Langage (VLM) et des grands modèles de langage (LLM) ont permis d’améliorer à la fois les performances et l’explicabilité des systèmes VAD. Malgré des résultats prometteurs sur des jeux de données publics, plusieurs défis subsistent. La plupart des méthodes sont limitées à un seul domaine, ce qui entraîne une baisse de performance lorsqu'elles sont appliquées à de nouveaux jeux de données avec des définitions d’anomalies différentes. De plus, elles supposent que toutes les données d'entraînement sont disponibles dès le départ, ce qui est peu réaliste dans des contextes d’utilisation réels où les modèles doivent s’adapter continuellement à de nouvelles données. Peu d’approches explorent l’adaptation multimodale en utilisant des règles en langage naturel pour définir les événements normaux ou anormaux. Or, cela permettrait une mise à jour plus intuitive et flexible des systèmes VAD sans nécessiter de nouvelles vidéos.
Ce sujet de thèse a pour objectif de développer des méthodes de détection d’anomalies vidéo adaptables, capables de traiter de nouveaux domaines ou types d’anomalies en s’appuyant sur peu d’exemples vidéo et/ou des règles textuelles.
Les axes de recherche principaux seront les suivants :
• Adaptation interdomaines en VAD : améliorer la robustesse face aux écarts de domaine via une adaptation Few-Shot ;
• Apprentissage continu en VAD : enrichir le modèle en continu pour traiter de nouveaux types d’anomalies ;
• Apprentissage multimodal en Few-Shot : faciliter l’adaptation du modèle à l’aide de règles en langage naturel.
Développement et caractérisation de matrices de sources TeraHertz cointégrées en technologie photonique Silicium et III-V
La gamme TéraHertz (0.1–10 THz) suscite un fort intérêt pour l’imagerie et la spectroscopie (sécurité, santé, environnement, contrôle industriel) du fait de la transparence de nombreux matériaux en THz et des signatures spectrales caractéristiques. Cependant, les sources actuelles peinent à concilier puissance et accordabilité : les diodes et lasers à cascade quantique (QCL) délivrent plusieurs mW mais sur une bande étroite, tandis que les photodiodes III–V (photomixeurs) sont accordables sur de larges bandes mais limitées à quelques µW. Ce sujet de thèse vise à surmonter ces verrous en développant une matrice intégrée de sources THz. Le principe retenu est le photomélange de deux lasers à 1.55 µm dans des photodiodes InGaAs III–V, générant un courant THz modulé en phase et injecté dans des antennes adaptées.
La thèse débutera par l’étude expérimentale d’un réseau discret de 16 antennes THz (projet STYX) CEA-CTReg/DNAQ : installation du banc d’essai, mesures de cohérence de phase, de couplage optique, de lobes de rayonnement et d’interférences constructives. Ces expérimentations fourniront un socle scientifique pour la suite, à savoir la conception d’un réseau photonique intégré sur silicium. L’étudiant simulera l’architecture photonique (coupleurs, guides, modulateurs de phase, transitions Si/III–V) synchronisant plusieurs photodiodes InGaAs. Le prototypage comprendra la fabrication des circuits photoniques silicium (CEA-LETI) et des photodiodes/antennes THz en InP (III-V Lab ou, à confirmer, Heinrich-Hertz-Institut du Fraunhofer—HHI), suivie de leur intégration hybride (collage, alignement).
Cette thèse s’appuiera également sur une collaboration étroite avec le laboratoire IMS (Talence), reconnu au niveau national et international pour son expertise en photonique intégrée et en systèmes THz, apportant ainsi une complémentarité essentielle en modélisation optique, simulation électromagnétique et caractérisation expérimentale.
L’objectif final de cette thèse consistera à réaliser un prototype à quelques émetteurs (e.g. 4–16) dont la directivité et la puissance rayonnée sont accrues par les interférences constructives. La démonstration expérimentale validera le gain en portée et pénétration du rayonnement THz grâce à la combinaison puissance/accordabilité, ouvrant la voie à des systèmes d’imagerie THz de nouvelle génération.
Gestion de réseau pilotée par l'IA avec de grands modèles LLMs
La complexité croissante des réseaux hétérogènes (satellitaire, 5G, IoT, TSN) nécessite de faire évoluer la gestion de réseau. Le Réseau Basé sur l'Intention (IBN), bien qu'avancé, se heurte encore à la difficulté de traduire des intentions de haut niveau en configurations techniques sans ambiguïté. Ce travail propose de lever ce verrou en exploitant les Grands Modèles de Langage (LLM) comme interface cognitive pour une automatisation complète et fiable.
Cette thèse vise à concevoir et développer un framework IBN-LLM pour créer le cerveau cognitif d'une boucle de contrôle fermée au-dessus du SDN. Le travail se concentrera sur trois défis majeurs : 1) développer un traducteur sémantique fiable du langage naturel vers les configurations réseau ; 2) concevoir un Moteur de Vérification déterministe (via simulations ou jumeaux numériques) pour prévenir les « hallucinations » des LLM ; et 3) intégrer une capacité d'analyse en temps réel (RAG) pour l'Analyse de Cause Racine (RCA) et la génération proactive d'intentions d'optimisation.
Nous attendons la conception d’une architecture IBN-LLM intégrée aux contrôleurs SDN, ainsi que des méthodologies pour la vérification formelle des configurations. La contribution principale sera la création d'un modèle basé sur LLM capable d'effectuer la RCA et de générer des intentions d'optimisation en temps réel. La validation de l'approche sera assurée par un prototype fonctionnel (PoC), dont l'évaluation expérimentale permettra de mesurer précisément les performances en termes de précision, de latence et de résilience.
Polymères fonctionnels pour l’électronique imprimée 3D/4D : de la rhéologie à la fonctionnalisation des matériaux
Cette thèse, menée sur la plateforme MAPP (CEA-Metz), s’inscrit dans le cadre du développement de procédés de fabrication additive 3D/4D et la mise en oeuvre de matériaux intelligents. L’objectif est de dépasser les limites d'intégration des architectures planaires traditionnelles (PCB, wafers) en explorant l’impression directe de fonctions électroniques au sein de pièces fabriquées par fusion de fils (FDM) ou extrusion (PEM, Robocasting). Le travail se concentre sur les polymères fonctionnels conducteurs, composés d’une matrice organique et de particules métalliques, dont les mécanismes de conduction (contacts directs, effet tunnel, conduction ionique) sont régis par le franchissement du seuil de percolation. L’étude portera sur la maîtrise de leur mise en œuvre, l’analyse de leur comportement rhéologique et électrique, ainsi que sur l’exploitation de leurs propriétés résisitives, piézorésistives et piézoélectriques pour concevoir de nouvelles fonctions capteurs (3D) et actionneurs (4D). Le doctorant disposera d’outils de caractérisation avancés et sera encadré par une équipe pluridisciplinaire spécialisée en fabrication additive, matériaux et microélectronique.