Randomness Optimization for Gadget Compositions in Higher-Order Masking

Authors

  • Jakob Feldtkeller Ruhr University Bochum, Horst Görtz Institute for IT Security, Bochum, Germany
  • David Knichel Ruhr University Bochum, Horst Görtz Institute for IT Security, Bochum, Germany
  • Pascal Sasdrich Ruhr University Bochum, Horst Görtz Institute for IT Security, Bochum, Germany
  • Amir Moradi University of Cologne, Institute for Computer Science, Germany
  • Tim Güneysu Ruhr University Bochum, Horst Görtz Institute for IT Security, Bochum, Germany; DFKI, Bremen, Germany

DOI:

https://doi.org/10.46586/tches.v2022.i4.188-227

Keywords:

Masking, Probing Security, Strong Non-Interference, Probe Isolating Non-Interference, Security-Aware Optimization, Security-Aware EDA

Abstract

Physical characteristics of electronic devices, leaking secret and sensitive information to an adversary with physical access, pose a long-known threat to cryptographic hardware implementations. Among a variety of proposed countermeasures against such Side-Channel Analysis attacks, masking has emerged as a promising, but often costly, candidate. Furthermore, the manual realization of masked implementations has proven error-prone and often introduces flaws, possibly resulting in insecure circuits. In the context of automatic masking, a new line of research emerged, aiming to replace each physical gate with a secure gadget that fulfills well-defined properties, guaranteeing security when interconnected to a large circuit. Unfortunately, those gadgets introduce a significant amount of additional overhead into the design, in terms of area, latency, and randomness requirements.
In this work, we present a novel approach to reduce the demands for randomness in such gadget-composed circuits by reusing randomness across gadgets while maintaining security in the probing adversary model. To this end, we embedded the corresponding optimization passes into an Electronic Design Automation toolchain, able to construct, optimize, and implement masked circuits, starting from an unprotected design. As such, our security-aware optimization offers an additional building block for existing or new Electronic Design Automation frameworks, where security is considered a first-class design constraint.

Downloads

Published

2022-08-31

How to Cite

Feldtkeller, J., Knichel, D., Sasdrich, P., Moradi, A., & Güneysu, T. (2022). Randomness Optimization for Gadget Compositions in Higher-Order Masking. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2022(4), 188–227. https://doi.org/10.46586/tches.v2022.i4.188-227

Issue

Section

Articles