Analyse automatisée de binaires appliquée à la recherche de vulnérabilités matérielles

Detecting physical vulnerabilities through automated binary analysis

• Auteur / Autrice : Theo De castro pinto
• Direction : Antoine Rollet
• Type : Projet de thèse
• Discipline(s) : Informatique
• Date : Inscription en doctorat le 14/04/2022
• Etablissement(s) : Bordeaux
• Ecole(s) doctorale(s) : École doctorale de mathématiques et informatique
• Partenaire(s) de recherche : Laboratoire : LaBRI - Laboratoire Bordelais de Recherche en Informatique

Mots clés

Mots clés libres

Analyse statique

Analyse de binaires

Sécurité des systèmes embarqués

Analyse automatique de programme

Static analysis

Binary analysis

Security of embedded devices

Automated analysis of computer programs

Résumé

Le but de cette thèse est de définir une technique d'analyse automatique de binaires à la recherche de vulnérabilités matérielles. Les attaques se basant sur des vulnérabilités physiques sont de plus en plus fréquentes et réalistes, notamment à cause de la miniaturisation des composants. Il est donc crucial de protéger les systèmes (en particulier embarqués) contre ces attaques physiques. Cependant, la détection des vulnérabilités potentielles est longue et difficile, surtout lorsque plusieurs vulnérabilités peuvent être utilisées lors de la même attaque. Pour ces raisons, il est important d'automatiser tout ce processus de détection. Enfin, l'analyse de binaires découle du fait que la compilation peut induire des vulnérabilités qui n'existent pas dans le code source.

The thesis aims to define an automated analysis technique that can be applied to the detection of physical vulnerabilities in binaries. For many reasons, such as processors' components becoming smaller and smaller, the number of attacks taking advantage of physical vulnerabilities is growing rapidly. Therefore, it is crucial to protect devices (especially embedded devices) against physical attacks. Yet, those vulnerabilities come in many different shapes and forms, and, as a consequence, their detection is both difficult and tedious, mainly if multiple vulnerabilities are considered simultaneously. Hence, it is important to automate this detection process as much as possible. Moreover, analyzing binaries is justified by the fact that vulnerabilities can be generated by the compilation step.