Vous êtes ici

Sécurité des programmes durant le processus de compilation

Notre société est de plus en plus dépendante de services informatiques et       
cette tendance est à la hausse.                                                    
De ce fait, la sécurité de nos systèmes est également devenu incontournable afin   
d'éviter les conséquences désastreuses que peuvent provoquer d'éventuelles attaques.   
Cette thèse porte sur la sécurité des programmes durant le processus de compilation.   
La compilation correspond à la traduction des programmes sources écrits            
par des humains vers du code machine lisible par nos systèmes.                     
Nous explorons deux manières possibles de faire de la compilation sécurisée:       
la sécurisation et la préservation.                                                
Premièrement, nous avons développé CompCertSFI, un compilateur qui sécurise des   
modules en les isolant dans des zones mémoires restreintes appelées bac à sable.   
Ces modules sont ensuite incapables d'accéder à des zones mémoires hors de leur    
bac à sable, ce qui empêche un module malveillant de corrompre d'autres            
entités du système.                                                                
Sur le sujet de la préservation, nous avons défini une notion de Préservation   
de Flot d'Information qui s'applique aux transformations de programme.            
Cette propriété, lorsqu'elle est vérifiée, permet de s'assurer qu'un programme     
ne devienne moins sécurisé durant sa compilation.                                  
Notre propriété de préservation est spécifiquement conçue pour préserver           
les protections contre les attaques de type canaux cachés.                         
Cette nouvelle catégorie d'attaque utilise des médiums physiques comme le temps                         
ou la consommation d'énergie qui ne sont pas pris en compte par les compilateurs                        
actuels. 

Orateur: 
Alexandre DANG
Date: 
Mardi, 10. décembre 2019 - 14:00 - 19:00
Lieu: 
Salle PETRI/TURING
Type soutenance: 
Composition du Jury: 

Tamara REZK - Inria

Alejandro RUSSO - Chalmers University

Karine HEYDEMANN - LIP6

Valérie VIET TRIEM TONG - CentraleSupelec

Thomas JENSEN - Inria

Frédéric BESSON - Inria