Paper 2024/708

Automated Generation of Fault-Resistant Circuits

Nicolai Müller, Ruhr University Bochum
Amir Moradi, TU Darmstadt
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 well-established and documented methods such as redundant computation, can be a time-consuming, 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.

Metadata
Available format(s)
PDF
Category
Implementation
Publication info
Published by the IACR in TCHES 2024
Keywords
Fault AnalysisImpeccable CircuitsSIFAHardwareMasking
Contact author(s)
nicolai mueller @ rub de
amir moradi @ tu-darmstadt de
History
2024-05-10: approved
2024-05-07: received
See all versions
Short URL
https://ia.cr/2024/708
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2024/708,
      author = {Nicolai Müller and Amir Moradi},
      title = {Automated Generation of Fault-Resistant Circuits},
      howpublished = {Cryptology ePrint Archive, Paper 2024/708},
      year = {2024},
      note = {\url{https://eprint.iacr.org/2024/708}},
      url = {https://eprint.iacr.org/2024/708}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.