Offers “CEA”

Expires soon CEA

THE - Impact de la micro-architecture sur les protections contre les attaques H/F (Systèmes d'information)

  • CDD
  • Grenoble (Isère)
  • IT development

Job description

Domaine : Systèmes d'information

Contrat : CDD

Description du poste :

Offre de thèse :

La thèse se place dans le contexte de la cyber-sécurité des systèmes embarqués et objets connectés. Elle concerne plus précisemment l’application de contre-mesures à la compilation contre les attaques par canaux auxiliaires exploitant la consommation électrique ou les émissions électromagnétiques, qui représentent une forte menace pour ces systèmes.
Pour appliquer les contre-mesures contre ces attaques, on utilise souvent un modèle de fuite, qui modélise comment les fuites par canal auxiliaire sont liées au programme et aux données manipulées par le processeur. Un modèle infidèle ne permet pas d’appliquer la contre-mesure de manière efficace. Les modèles actuellement utilisés sont insuffisants dès lors qu’ils ne prennent pas en compte la micro-architecture des composants. En effet, la micro-architecture et notamment les éléments invisibles au niveau assembleur (registres ou tampons cachés) peuvent induire des fuites.
L’objectif de cette thèse sera d’étudier l’impact de la micro-architecture sur l’application automatisée des contre-mesures contre les attaques par canal auxiliaire à la compilation. Un premier axe est d’étudier comment modifier la manière d’appliquer les contre-mesures au sein du compilateur pour prendre en compte des modèles de fuites précis tenant compte de la micro-architecture, par exemple comment adapter la sélection d’instructions ou l’allocation de registres dans le compilateur en fonction du modèle de fuite. Un second axe est d’adapter les contre-mesures elles-mêmes afin de mieux prendre en compte la nature des fuites, dans l’objectif de réduire les fuites d’information plus efficacement et d’améliorer le compromis sécurité / performance.


Contact : Nicolas Belleville (nicolas.belleville@cea.fr) et Damien Couroussé (damien.courousse@cea.fr)

Ville : Grenoble