PhD defense: Mehdi Benhani

"Sécurité des systèmes sur puce complexes hétérogènes"

Abstract:

Today, connected objects are ubiquitous, especially in critical applications; autonomous vehicles, aeronautics, medical equipment, military, etc. Or security such as access control, etc. Their number is constantly increasing and will exceed 26 billion objects in 2020 according to Gartner forecasts. Connected objects store and exchange a large amount of user data, including confidential information (personal photos, telephone directory, etc.). This data attracts the attention of attackers who constantly exploit vulnerabilities in these systems, and their actions can have serious consequences. They can cause financial losses and damage a company's reputation.

On the market, one of the solutions used to protect connected objects against software attacks is the use of a Trusted Execution Environment (TEE) that isolates applications requiring security (password management, cryptographic services, etc.) from general applications. To implement a TEE, the ARM TrustZone technology can be used as a hardware isolation technology that helps to partition the totality of the resources (software and hardware) into two worlds, secure and non-secure.

This thesis studies the security properties of heterogeneous SoCs that integrate ARM TrustZone technology. It highlights important vulnerabilities that require further research to design effective solutions. This work was carried out as part of the FUI TEEVA collaborative project.

Président :
Jean-Luc DANGER, Professeur à Telecom Paris

Rapporteurs :
Loïc LAGADEC, Professeur à l'ENSTA Bretagne
David HELY, Maître de Conférence - HDR à l'INP Grenoble

Examinateurs-trices :
Bertarnd LE GAL, Maître de Conférence à l'IPB
Virginie FRESSE, Maître de Conférence - HDR à l'UJM

Directeur de thèse :
Lilian BOSSUET, Professeur à l'UJM
Co-encadrant :
Alain AUBERT, Maître de Conférence à l'UJM