Abdulrahman, Amin, Hanno Becker, Matthias J. Kannwischer, and Fabien Klein. 2023. “Fast and Clean: Auditable High-Performance Assembly via Constraint Solving”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2024 (1):87-132. https://doi.org/10.46586/tches.v2024.i1.87-132.