Work

How to use a CAS for Hardware Design Automation

Year: 2023

Type: article

Abstract: With the rise of new technologies, the demand for efficient cryptographic hardware is rising. This work is focusing on finite field based cryptography. To explore the vast design space obtained from possible finite field parameters, automated generation of hardware submodules using designer-specified algorithms for finite field arithmetic is needed. This work presents a hardware design automation framework exploiting symbolic computation capabilities of GAP to generate the expressions, needed for hardware implementations, on-the-fly, and compiles them into synthesizable datapaths, test-vectors, and testbences.

Source: ACM communications in computer algebra

DOI: 10.1145/3637529.3637536

Author: Nuša Zidarič

Institution: Leiden University

Language: English

Topic: Cryptography and Residue Arithmetic

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Award: PROACT - Physical Attack Resistance of Cryptographic Algorithms and Circuits with Reduced Time to Market