Automated Generation of Fault-Resistant Circuits

Authors

  • Nicolai Müller Ruhr University Bochum, Horst Görtz Institute for IT Security, Bochum, Germany
  • Amir Moradi Technische Universität Darmstadt, Darmstadt, Germany

DOI:

https://doi.org/10.46586/tches.v2024.i3.136-173

Keywords:

Fault Analysis, Impeccable Circuits, SIFA, Hardware, Masking

Abstract

Fault Injection (FI) attacks, which involve intentionally introducing faults into a system to cause it to behave in an unintended manner, are widely recognized and pose a significant threat to the security of cryptographic primitives implemented in hardware, making fault tolerance an increasingly critical concern. However, protecting cryptographic hardware primitives securely and efficiently, even with wellestablished and documented methods such as redundant computation, can be a timeconsuming, error-prone, and expertise-demanding task. In this research, we present a comprehensive and fully-automated software solution for the Automated Generation of Fault-Resistant Circuits (AGEFA). Our application employs a generic and extensively researched methodology for the secure integration of countermeasures based on Error-Correcting Codes (ECCs) into cryptographic hardware circuits. Our software tool allows designers without hardware security expertise to develop fault-tolerant hardware circuits with pre-defined correction capabilities under a comprehensive fault adversary model. Moreover, our tool applies to masked designs without violating the masking security requirements, in particular to designs generated by the tool AGEMA. We evaluate the effectiveness of our approach through experiments on various block ciphers and demonstrate its ability to produce fault-tolerant circuits. Additionally, we assess the security of examples generated by AGEFA against Side-Channel Analysis (SCA) and FI using state-of-the-art leakage and fault evaluation tools.

Downloads

Published

2024-07-18

Issue

Section

Articles

How to Cite

Automated Generation of Fault-Resistant Circuits. (2024). IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024(3), 136-173. https://doi.org/10.46586/tches.v2024.i3.136-173