Pause
Lecture
Moteur de recherche d'offres d'emploi CEA

Contrats HW/SW pour l’analyse de robustesse aux fautes de processeurs open-source


Détail de l'offre

Informations générales

Entité de rattachement

Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.

Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle de recherche fondamentale. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.

Implanté au cœur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.

Les 20 000 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :

• La conscience des responsabilités
• La coopération
• La curiosité
  

Référence

SL-DRT-25-0612  

Direction

DRT

Description du sujet de thèse

Domaine

Défis technologiques

Sujets de thèse

Contrats HW/SW pour l’analyse de robustesse aux fautes de processeurs open-source

Contrat

Thèse

Description de l'offre

Cette thèse se concentre sur la cybersécurité des systèmes embarqués, en particulier sur la vulnérabilité des processeurs et des programmes face aux attaques par injection de fautes. Ces attaques perturbent le fonctionnement normal des systèmes, permettant aux attaquants d'exploiter des failles pour accéder à des informations sensibles. Bien que des méthodes formelles aient été développées pour analyser la robustesse des systèmes, elles se limitent souvent à des analyses séparées du matériel et des logiciels, négligeant l'interaction entre les deux.

Le travail proposé vise à formaliser des contrats entre le matériel et le logiciel (HW/SW) spécifiquement pour l'analyse de sécurité contre les injections de fautes. En s'appuyant sur une approche de partitionnement matériel, cette recherche cherche à atténuer les problèmes de scalabilité liés à la complexité des modèles de microarchitecture. Les résultats attendus incluent le développement de techniques et d'outils permettant une vérification efficace de la sécurité des systèmes embarqués, ainsi que la création de contrats qui faciliteront l'évaluation de la conformité des implémentations matérielles et logicielles. Cette approche pourrait également réduire le temps de mise sur le marché des systèmes sécurisés.

Université / école doctorale

Mathématiques, Sciences et Technologies de l’Information, Informatique (MSTII)
Université Grenoble Alpes

Localisation du sujet de thèse

Site

Grenoble

Critères candidat

Formation recommandée

Master 2 en informatique ou cyber-sécurité avec une composante méthodes formelles

Demandeur

Disponibilité du poste

01/10/2025

Personne à contacter par le candidat

COUROUSSE Damien damien.courousse@cea.fr
CEA
DRT/DSCIN/DSCIN/LFIM
Commissariat à l’énergie atomique et aux énergies alternatives
MINATEC Campus | 17 rue des Martyrs | 38054 Grenoble Cedex 9
+33 (0)4 38 78 04 66

Tuteur / Responsable de thèse

COUROUSSE Damien damien.courousse@cea.fr
CEA
DRT/DSCIN/DSCIN/LFIM
Commissariat à l’énergie atomique et aux énergies alternatives
MINATEC Campus | 17 rue des Martyrs | 38054 Grenoble Cedex 9
+33 (0)4 38 78 04 66

En savoir plus

https://damien.courousse.fr

https://list.cea.fr/en