Paper 2018/203

Impeccable Circuits

Anita Aghaie, Amir Moradi, Shahram Rasoolzadeh, Aein Rezaei Shahmirzadi, Falk Schellenberg, and Tobias Schneider

Abstract

By injecting faults, active physical attacks pose serious threats to cryptographic hardware where Concurrent Error Detection (CED) schemes are promising countermeasures. They are usually based on an Error-Detecting Code (EDC) which enables detecting certain injected faults depending on the specification of the underlying code. Here, we propose a methodology to enable correct, practical, and robust implementation of code-based CEDs. We show that straightforward hardware implementations of given code-based CEDs can suffer from severe vulnerabilities, not providing the desired protection level. In particular, propagation of faults into combinatorial logic is often ignored in security evaluation of these schemes. First, we formally define this detrimental effect and demonstrate its destructive impact. Second, we introduce an implementation strategy to limit the fault propagation effect. Third, in contrast to many other works where the fault coverage is the main focus, we present a detailed implementation strategy which can guarantee the detection of any fault covered by the underlying EDC. This holds for any time of the computation and any location in the circuit, both in data processing and control unit. In short, we provide practical guidelines how to construct efficient CED schemes with arbitrary EDCs to achieve the desired protection level. We practically evaluate the efficiency of our methodology by case studies covering different symmetric block ciphers and various linear EDCs.

Note: Compared to the published version at IEEE, this version includes the results of the application of the underlying scheme on more block ciphers (PRESENT, Skinny, Midori, GIFT, LED, SIMON and AES). The HDL codes an be found at github: https://github.com/emsec/ImpeccableCircuits

Metadata
Available format(s)
PDF
Category
Implementation
Publication info
Published elsewhere. Minor revision. IEEE Transactions on Computers
DOI
10.1109/TC.2019.2948617
Keywords
Fault AttackFault CoverageError Detecting CodeConcurrent Error Detection
Contact author(s)
amir moradi @ rub de
History
2019-10-24: last of 2 revisions
2018-02-22: received
See all versions
Short URL
https://ia.cr/2018/203
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2018/203,
      author = {Anita Aghaie and Amir Moradi and Shahram Rasoolzadeh and Aein Rezaei Shahmirzadi and Falk Schellenberg and Tobias Schneider},
      title = {Impeccable Circuits},
      howpublished = {Cryptology ePrint Archive, Paper 2018/203},
      year = {2018},
      doi = {10.1109/TC.2019.2948617},
      note = {\url{https://eprint.iacr.org/2018/203}},
      url = {https://eprint.iacr.org/2018/203}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.