CryptoDB
Brice Colombier
Publications
Year
Venue
Title
2024
TCHES
Switching Off your Device Does Not Protect Against Fault Attacks
Abstract
Physical attacks, and among them fault injection attacks, are a significant threat to the security of embedded systems. Among the means of fault injection, laser has the significant advantage of being extremely spatially accurate. Numerous state-of-the-art studies have investigated the use of lasers to inject faults into a target at run-time. However, the high precision of laser fault injection comes with requirements on the knowledge of the implementation and exact execution time of the victim code. The main contribution of this work is the demonstration on experimental basis that it is also possible to perform laser fault injection on an unpowered device. Specifically, we targeted the Flash non-volatile memory of a 32-bit microcontroller. The advantage of this new attack path is that it does not require any synchronisation between the victim and the attacker. We provide an experimental characterization of this phenomenon with a description of the fault model from the physical level up to the software level. Finally, we applied these results to carry out a persistent fault analysis on a 128-bit AES with a particularly realistic attacker model which reinforces the interest of the PFA.
2021
EUROCRYPT
Message-recovery Laser Fault Injection Attack on the Classic McEliece Cryptosystem
📺
Abstract
Code-based public-key cryptosystems are promising candidates for standardization as quantum-resistant public-key cryptographic algorithms.
Their security is based on the hardness of the syndrome decoding problem.
Computing the syndrome in a finite field, usually $\F_{2}$, guarantees the security of the constructions.
We show in this article that the problem becomes considerably easier to solve if the syndrome is computed in $\mathbb{N}$ instead.
By means of laser fault injection, we illustrate how to force the matrix-vector product in $\mathbb{N}$ by corrupting specific instructions, and validate it experimentally.
To solve the syndrome decoding problem in $\mathbb{N}$, we propose a reduction to an integer linear programming problem.
We leverage the computational efficiency of linear programming solvers to obtain real-time message recovery attacks against all the code-based proposals to the NIST Post-Quantum Cryptography standardization challenge.
We perform our attacks on worst-case scenarios, i.e. random binary codes, and retrieve the initial message within minutes on a desktop computer.
Our practical evaluation of the attack targets the reference implementation of the Niederreiter cryptosystem in the NIST finalist \textit{Classic McEliece} and is feasible for all proposed parameters sets of this submission. For example, for the 256-bit security parameters sets, we successfully recover the plaintext in a couple of seconds on a desktop computer
Finally, we highlight the fact that the attack is still possible if only a fraction of the syndrome entries are faulty.
This makes the attack feasible even though the fault injection does not have perfect repeatability and reduces the computational complexity of the attack, making it even more practical overall.
Coauthors
- Lilian Bossuet (2)
- Pierre-Louis Cayrel (1)
- Brice Colombier (2)
- Vlad-Florin Dragoi (1)
- Jean-Max Dutertre (1)
- Paul Grandamme (1)
- Vincent Grosso (1)
- Alexandre Menu (1)
- Pierre-Antoine Tissot (1)