BEN EL OUAHMA Ines

Docteur
Équipe : ALSOC
Date de départ : 08/04/2021
https://lip6.fr/Ines.Ben-El-Ouahma

Direction de recherche : Emmanuelle ENCRENAZ

Co-encadrement : HEYDEMANN Karine, MEUNIER Quentin

Analyse de robustesse et sécurisation de codes assembleur contre les attaques physiques

Les attaques par canaux auxiliaires permettent d'inférer des informations sur les données manipulées ou les opérations exécutées sur un circuit, en observant la consommation de courant, les émissions électromagnétiques ou le temps d'exécution. Elles représentent une menace sérieuse pour les systèmes embarqués et différentes contremesures existent pour s'en prémunir, notamment le masquage. Dans cette thèse, nous proposons une méthode avec une approche symbolique qui permet d'analyser des codes masqués à l’ordre 1 pour donner des garanties sur l'absence de fuite. Cette méthode a été implantée dans un outil nommé ARISTI permettant d’analyser la robustesse de codes masqués, au niveau assembleur, afin de se situer après les transformations du compilateur. Nous proposons également une modélisation des sources de fuites d’un processeur ARM cortex-M3. Ce modèle de fuite au niveau de la micro-architecture prend en compte l'exécution pipelinée des instructions et capture des interactions invisibles au niveau du jeu d’instructions (ISA). L'outil d'analyse ARISTI a été étendu pour prendre en compte ce modèle de fuite. Nous montrons qu’ARISTI permet de trouver des fuites micro-architecturales dans des codes masqués aux niveaux ISA ou source.

Soutenance : 07/04/2021

Membres du jury :

BOSSUET Lilian (Professeur des Universités/ Université Jean Monnet, Laboratoire Hubert) [Rapporteur]
GOUBIN Louis (Professeur des Universités/ Université de Versailles Saint-Quentin-en-Yvelines, Laboratoire LMV) [Rapporteur]
COUROUSSÉ Damien (Ingénieur de Recherche,/ CEA, LIST)
VERGNAUD Damien (Professeur des Universités/ Sorbonne Université, LIP6)
HEYDEMANN Karine (Maître de Conférences HDR/ Sorbonne Université, LIP6)
MEUNIER Quentin (Maître de Conférences/ Sorbonne Université, LIP6)
ENCRENAZ Emmanuelle (Maître de Conférences HDR/ Sorbonne Université, LIP6)
ZENDRA Olivier (Chargé de Recherche Hors Classe/ Inria Rennes-Bretagne Atlantique, IRISA)

Date de départ : 08/04/2021

Publications 2017-2021

Mentions légales
Carte du site