Fast and Clean: Auditable high-performance assembly via constraint solving

Handwritten assembly is a widely used tool in the development of highperformance cryptography: By providing full control over instruction selection, instruction scheduling, and register allocation, highest performance can be unlocked. On the flip side, developing handwritten assembly is not only ti...

Full description

Bibliographic Details
Main Authors: Amin Abdulrahman, Hanno Becker, Matthias J. Kannwischer, Fabien Klein
Format: Article
Language:English
Published: Ruhr-Universität Bochum 2023-12-01
Series:Transactions on Cryptographic Hardware and Embedded Systems
Subjects:
Online Access:https://tches.iacr.org/index.php/TCHES/article/view/11241