HADES: Automated Hardware Design Exploration for Cryptographic Primitives

ePrint Report: HADES: Automated Hardware Design Exploration for Cryptographic Primitives

Fabian Buschkowski, Georg Land, Jan Richter-Brockmann, Pascal Sasdrich, Tim Güneysu

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 …

automated cryptographic design eprint report hades hardware implementation pascal report tim