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

CEA; Grenoble; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Une opportunité passionnante pour un candidat motivé dans le domaine de la cybersécurité des systèmes embarqués. Ce projet de thèse se concentre sur la vulnérabilité des processeurs face aux attaques par injection de fautes, visant à formaliser des contrats entre le matériel et le logiciel pour améliorer l'analyse de sécurité. En collaborant avec une université de renom, le candidat contribuera à des recherches innovantes qui pourraient réduire le temps de mise sur le marché des systèmes sécurisés. Rejoignez une équipe dynamique et participez à des avancées majeures dans la sécurité des systèmes embarqués.

Qualifications

• Formation en informatique ou cybersécurité avec des compétences en méthodes formelles.
• Capacité à formaliser des contrats HW/SW pour l'analyse de sécurité.

Responsabilités

• Concevoir des contrats HW/SW pour analyser la sécurité des systèmes embarqués.
• Développer des techniques et outils pour la vérification de sécurité.

Connaissances

Cybersécurité

Méthodes formelles

Analyse de robustesse

Formation

Master 2 en informatique

Master 2 en cyber-sécurité

Outils

Outils de vérification de sécurité

Description du poste

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 [e-mail]
CEA
DRT/DSCIN/DSCIN/LFIM
Commissariat à l'énergie atomique et aux énergies alternatives
MINATEC Campus | 17 rue des Martyrs | 38054 Grenoble Cedex 9
[phone]

Tuteur / Responsable de thèse

COUROUSSE Damien [e-mail]
CEA
DRT/DSCIN/DSCIN/LFIM
Commissariat à l'énergie atomique et aux énergies alternatives
MINATEC Campus | 17 rue des Martyrs | 38054 Grenoble Cedex 9
[phone]

En savoir plus

https://damien.courousse.fr

https://list.cea.fr/en