LIP6 CNRS Sorbonne Université
Direct Link LIP6 » Actualité » Doctorants

VU Son Tuan

Docteur
Équipe : ALSOC
Date de départ : 03/04/2021

Direction de recherche : Karine HEYDEMANN

Co-encadrement : Albert Cohen, Google AI et Arnaud de Grandmaison, Arm

Préservation des propriétés dans un flot de compilation optimisant

Afin d’assurer la sécurité des applications contre différentes menaces (attaques en faute, attaques par canal auxiliaire ou attaque par exploitation de données rémanentes), des analyses et vérifications doivent avoir lieu au niveau binaire. Ces analyses et vérifications nécessitent des propriétés de sécurité ou fonctionnelles des applications. Il est donc nécessaire de transporter et transposer ces propriétés portant sur le code source au niveau du code compilé. La préservation de propriétés tout au long du flot de compilation est un problème difficile à cause des optimisations qui réorganisent les calculs ou éliminent les variables inutiles. Cette thèse présente deux approches permettant de propager et préserver des propriétés tout au long d’un flot de compilation optimisant sans modifier les passes d’optimisation du compilateur. Dans l’implémentation dans LLVM, les propriétés sont émises dans le code binaire sous forme d’information de debug DWARF permettant leur utilisation par des outils d’analyse binaire. De plus, nous montrons comment les mécanismes proposés peuvent être utilisés pour préserver des protections insérées dans le code source tout en activant les optimisations du compilateur.

Soutenance : 02/04/2021 - 13h30 - https://us02web.zoom.us/j/89275105558?pwd=TkxZVnhiM0VJQ0I5M1RBeEYzRUV6QT09

Membres du jury :

POTET Marie-Laure (Professeure des Universités/ Grenoble INP, Vérimag) [Rapporteuse]
ROHOU Erven (Directeur de Recherche/ INRIA) [Rapporteur]
BLAZY Sandrine (Professeure des Universités/ Université de Rennes 1, IRISA)
MINÉ Antoine (Professeur des Universités/ Sorbonne Université, LIP6)
COUROUSSÉ Damien (Ingénieur de Recherche/ CEA LIST)
DE GRANDMAISON Arnaud (Senior Principal Engineer/ ARM)
HEYDEMANN Karine (Maître de Conférences HDR/ Sorbonne Université, LIP6)
COHEN Albert (Research Scientist/ Google Paris)

Publications 2019-2021

 Mentions légales
Carte du site |