Room 206 (2nd floor, badged access)
21 mai 2026 - 14h00
Modification du back-end d'un compilateur pour la sécurité : étude de cas sur une contre-mesure contre les attaqs par canaux auxiliaires
par Clara Bourgeais de Univ. Grenoble Alpes Grenoble INP, LCIS
invité(e) par Bruno FERRES
21 mai 2026 - 14h00
Modification du back-end d'un compilateur pour la sécurité : étude de cas sur une contre-mesure contre les attaqs par canaux auxiliaires
par Clara Bourgeais de Univ. Grenoble Alpes Grenoble INP, LCIS
invité(e) par Bruno FERRES
Résumé : La compilation sécurisante devient un élément essentiel dans la sécurité.
Cependant, les contributions dans ce domaine concernent principalement des applications de contremesures dans le front-end et le middle-end des compilateurs, pas leur back-end.
Pourtant, nous considérons que le puzzle de la compilation sécurisée ne peut être terminé sans l'étude approfondie de contremesures au niveau du back-end.
En effet, comme le back-end permet le passage d'une représentation intermédiaire en un language machine, de nombreuses transformations inhérentes aux machines peuvent également se produire à cet endroit.
Cependant, c'est un champ de recherche relativement peu couvert, en raison d'un manque de méthodes permettant de retrouver des informations de haut niveau au niveau du langage machinedans un language machine.
Cette présentation couvre l'étude des contremesures de compilation bas niveau.
Nous parlerons de Tracing LLVM, un outil développé par Sébastien Michelland permettant - entre autres- de tracer les données depuis le code source vers le back-end de compilateurs.
Nous verrons aussi comment cet outil a été étendu de manière à continuer de tracer même après le passage dévastateur de l'allocateur de registres (que nous présenterons avec joie).
Par ailleurs, nous compléterons cette présentation par un cas d'étude permettant d'illustrer l'intérêt des contremesures back-ends.
Ce cas concernera la fuite des informations par canaux auxiliaires des données passant par un bus système.
