Amélioration de la sécurité des systèmes embarqués, temps réels et critiques

Defense type
Thesis
Starting date
End date
Location
IRISA Rennes
Room
Aurigny
Speaker
BELLEC Nicolas
Main department
Theme

Les systèmes temps-réels embarquent de plus en plus de moyen pour communiquer sans fils avec des utilisateurs extérieurs. Ces mêmes moyens peuvent être détournés pour attaquer ces systèmes, brisant les garanties de ces derniers et pouvant engendrer des accidents. Pour protéger les systèmes temps-réels contre ces nouvelles attaques, il est nécessaire de développer de nouvelles protections prenant en compte les spécificités de ces systèmes.
Dans cette thèse, nous cherchons à améliorer la sécurité des systèmes temps-réels contre des attaques dites par corruption de mémoire. Ces attaques utilisent une mauvaise gestion de la mémoire dans un programme pour modifier son comportement. Nous nous intéressons en particulier à une défense appelée Intégrité du flux de donnée, qui peut protéger contre une vaste classe d'attaque par corruption de mémoire. Nous adaptons cette protection au contexte des systèmes temps-réels en optimisant le temps d'exécution dans le pire cas, une métrique fondamentale pour garantir la bonne exécution de ces systèmes.

Composition of the jury
Vincent NICOMETTE, Professeur des Universités, INSA Toulouse
Karine HEYDEMANN, Maître de Conférence HDR, Sorbonne Université & Senior Expert Architecte, Thales
Thomas CARLE, Maître de Conférence, Université Toulouse III
Gildas AVOINE, Professeur des Universités, INSA Rennes
Guillaume HIET, Professeur, CentraleSupélec, Rennes
Isabelle PUAUT, Professeur des Universités, IRISA Rennes