LIP6 CNRS Sorbonne Université
Direct Link LIP6 » News » PhD students


PhD graduated
Team : ALSOC
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 24-25, Étage 4, Bureau 411
    4 place Jussieu
    75252 PARIS CEDEX 05
Tel: +33 1 44 27 74 78, Ines.Ben-El-Ouahma (at)
Supervision : Emmanuelle ENCRENAZ
Co-supervision : 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.
Defence : 04/07/2021 - 10h -
Jury members :
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)

2017-2021 Publications

 Mentions légales
Site map |