LIP6 CNRS Sorbonne Université
Direct Link LIP6 » أحـداث السـاعـة » مسجلون في الدكتوراه

VU Son Tuan

دكـتور
وحـدة : ALSOC
تاريـخ المـغادرة : 03/04/2021

رئاسـة البـحث : Karine HEYDEMANN

تأطـير مـشـترك : Albert Cohen, Google AI et Arnaud de Grandmaison, Arm

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

In order to ensure security guarantees of binary applications with regards to different attacks (such as fault injections, side-channel attacks or data remanence exploits), program analyses and verifications have to be performed at the binary level. These analyses and verifications require various security or functional properties about the program being analyzed. It is thus necessary to propagate these properties, usually expressed in the source level, down to binary code. However, preserving these properties throughout the optimizing compilation flow is hard due to code optimizations which reorder computations or eliminate unused variables. This thesis presents two approaches to preserve and propagate program properties throughout the optimizing compilation flow with minimal changes to individual transformation passes. In the implementations in LLVM, properties are emitted into executable binaries as DWARF debug information, which can next be used by binary analysis tools. Furthermore, our mechanisms can be applied to address the problem of preserving security protections inserted at the source level, compiling with optimizations enabled.

مناقـشـة مـذكـرة : 02/04/2021 - 13h30 - https://us02web.zoom.us/j/89275105558?pwd=TkxZVnhiM0VJQ0I5M1RBeEYzRUV6QT09

أعـضاء لجنة المناقـشة :

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)

إصدارات 2019-2021

 Mentions légales
| خـريـطـة المـوقـع