Fault Analysis Assisted by Simulation - CNRS - Centre national de la recherche scientifique Access content directly
Book Sections Year : 2019

Fault Analysis Assisted by Simulation

Kais Chibani
  • Function : Author
Adrien Facon
  • Function : Author
Damien Marion
Laurent Sauvage
Youssef Souissi
  • Function : Author
  • PersonId : 971834
Sofiane Takarabt
  • Function : Author
  • PersonId : 1198346


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.
Fichier principal
Vignette du fichier
main.pdf (1.44 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02915671 , version 1 (19-08-2020)



Kais Chibani, Adrien Facon, Sylvain Guilley, Damien Marion, Yves Mathieu, et al.. Fault Analysis Assisted by Simulation. Jakub Breier; Xiaolu Hou; Shivam Bhasin. Automated Methods in Cryptographic Fault Analysis, Springer International Publishing, pp.263-277, 2019, 978-3-030-11332-2. ⟨10.1007/978-3-030-11333-9_12⟩. ⟨hal-02915671⟩
245 View
257 Download



Gmail Facebook Twitter LinkedIn More