BEN EL OUAHMA Ines

Кандидат наук
Подразделение : ALSOC
Окончание контракта : 08.04.2021
https://lip6.fr/Ines.Ben-El-Ouahma

Научны(е)й руководител(и)ь : Emmanuelle ENCRENAZ

Со-руководитель : HEYDEMANN Karine, MEUNIER Quentin

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

Side-channel attacks can infer information about the manipulated data or the executed operations on a circuit, by observing the power consumption, the electromagnetic emissions or the execution time. They represent a serious threat for embedded devices and different countermeasures exist to protect against them, sush as masking. In this thesis, we propose a method with a symbolic approach that allows to analyse codes with 1st order masking, in order to give guarantees on the absence of leakage. This method has been implemented in a tool called ARISTI that analyses, at the assembly level, the robustness of masked codes. The aim is to analyse codes after the compiler transformations because they could alter the masking. We also propose a model of the leakage sources in an ARM cortex-M3 processor. The leakage model at the micro-architecture level takes into account the pipelined execution of the instructions and captures interactions that are invisible at the ISA level. The analysis tool ARISTI has been extended to take into account this leakage model. We show that ARISTI allows to find micro-architectural leakages in codes masked at the assembly or source level.

Защита диссертаций : 07.04.2021

Члены жюри :

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)

Окончание контракта : 08.04.2021

Публикации 2017-2021

Mentions légales
Карта сайта