 |
HAL-CNRSCNRS scientific publications |
 |
Book sections
Fault Analysis Assisted by Simulation
Abstract : Side-channel and fault injection attacks are renown techniques to extract keys from cryptographic devices. Fortunately, leakage reduction and fault detection countermeasures exist and can be implemented right in the source-code. However, source-code level countermeasures might be altered during the compilation process. Design simulation is an effective means to detect such harmful simplifications. This is a well-known methodology to analyze regressions in terms of side-channel leakage. In this chapter, we explain that protections against fault injection attacks are no exception. First of all, we show that vulnerabilities to those attacks can be easily detected by simulation methods. Second, we highlight that simulation techniques are also highly efficient in detecting logic simplifications which destroy (fully or partly) the countermeasures. Thus, the simulation-based methodology we present in this chapter shows that it is possible to decide quickly which compilation options are safe and which ones are detrimental to the security.
Cited literature [24 references]
https://hal-cnrs.archives-ouvertes.fr/hal-02915671
Contributor : Sylvain Guilley <>
Submitted on : Wednesday, August 19, 2020 - 12:44:09 AM
Last modification on : Wednesday, October 14, 2020 - 4:14:39 AM
Contributor : Sylvain Guilley <>
Submitted on : Wednesday, August 19, 2020 - 12:44:09 AM
Last modification on : Wednesday, October 14, 2020 - 4:14:39 AM
File
main.pdf
Files produced by the author(s)