Contrats hw/sw pour l'analyse de robustesse aux fautes de processeurs open-source

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

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 #J-18808-Ljbffr