Dr. William PENSEC

PhD in Computer Science and Digital Architectures

PERSONAL WEBSITE



PhD Defense

December 19, 2024


Enhanced Processor Defence Against Physical and Software Threats by Securing DIFT Against Fault Injection Attacks

Embedded security is more and more crucial with the huge increase of IoT devices, enhancing efficiency and addressing challenges like industrial change and health. However, their widespread use also increases the attack surface, raising significant security concerns. These systems, handling sensitive data, are vulnerable to both software and physical attacks due to their network connectivity and proximity to attackers. Dynamic Information Flow Tracking (DIFT) detects software attacks, such as buffer overflows, by tagging and tracking data at runtime. Fault Injection Attacks (FIA) deliberately introduce hardware errors to disrupt normal operation and bypass security mechanisms. These faults can be introduced physically (e.g., via voltage or lasers). FIAs are concerning in embedded and cryptographic systems, where low-level faults can compromise sensitive data. Although many studies have explored FIA vulnerabilities, none have targeted DIFT mechanisms. Our research focuses on the D-RI5CY processor, which implements a hardware in-core DIFT. We assess the impact of FIAs on DIFT's effectiveness in this processor. Through fault injection simulations, using FISSA, a tool developed to facilitate fault evaluation, we identify vulnerable hardware registers and implement three countermeasures: simple parity for error detection, Hamming Code for single-bit error correction, and SECDED to detect double-bit errors. These were optimised by grouping registers to minimise redundancy overhead. We further evaluated multiple register group compositions to enhance countermeasures against complex fault models, developing four strategies to improve error detection and correction efficiency.



PhD Thesis examination members

# Name Position Institution Role in the jury
1 Pr. Jean-Max DUTERTRE Full Professor Ecole des Mines de Saint-Étienne (France) Chairman of the jury
2 Pr. Lejla BATINA Full Professor Radboub University (Netherlands) Reviewer
3 Pr. Vincent BEROULLE Full Professor INP and Université Grenoble Alpes (France) Reviewer
4 Pr. Nele MENTENS Full Professor Leiden University (Netherlands) and KU Leuven (Belgium) Reviewer
5 Pr. Francesco REGAZZONI Senior Researcher Amsterdam University (Netherlands) and Università della Svizzera italiana (Switzerland) Examinateur
6 Pr. Guy GOGNIAT Full Professor Université Bretagne Sud (France) Thesis Director
7 Dr. Vianney LAPÔTRE Associate Professor Université Bretagne Sud (France) Thesis Co-director


PhD Defense YouTube video