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

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