Paper 2024/130
HADES: Automated Hardware Design Exploration for Cryptographic Primitives
Abstract
While formal constructions for cryptographic schemes have steadily evolved and emerged over the past decades, the design and implementation of efficient and secure hardware instances is still a mostly manual, tedious, and intuition-driven process. With the increasing complexity of modern cryptography, e.g., Post-Quantum Cryptography (PQC) schemes, and consideration of physical implementation attacks, e.g., Side-Channel Analysis (SCA), the design space often grows exorbitantly without developers being able to weigh all design options. This immediately raises the necessity for tool-assisted Design Space Exploration (DSE) for efficient and secure cryptographic hardware. For this, we present the progressive HADES framework, offering a customizable, extendable, and streamlined DSE for efficient and secure cryptographic hardware accelerators. This tool exhaustively traverses the design space driven by security requirements, rapidly predicts user-defined performance metrics, e.g., area footprint or cycle-accurate latency, and instantiates the most suitable candidate in a synthesizable Hardware Description Language (HDL). We demonstrate the capabilities of our framework by applying our proof-of-concept implementation to a wide-range selection of state-of-the-art symmetric and PQC schemes, including the ChaCha20 stream cipher and the designated PQC standard Kyber, for which we provide the first set of arbitrary-order masked hardware implementations.
Metadata
- Available format(s)
- Category
- Implementation
- Publication info
- Preprint.
- Keywords
- Design AutomationDesign Space ExplorationHardware ImplementationsHigh-order MaskingPQCML-KEMML-DSAAESSPNARX
- Contact author(s)
-
fabian buschkowski @ rub de
mail @ georg land
jan richter-brockmann @ rub de
pascal sasdrich @ rub de
tim gueneysu @ rub de - History
- 2024-01-30: approved
- 2024-01-30: received
- See all versions
- Short URL
- https://ia.cr/2024/130
- License
-
CC BY-NC
BibTeX
@misc{cryptoeprint:2024/130, author = {Fabian Buschkowski and Georg Land and Jan Richter-Brockmann and Pascal Sasdrich and Tim Güneysu}, title = {{HADES}: Automated Hardware Design Exploration for Cryptographic Primitives}, howpublished = {Cryptology {ePrint} Archive, Paper 2024/130}, year = {2024}, url = {https://eprint.iacr.org/2024/130} }