Abdulrahman, Amin, Hanno Becker, Matthias J. Kannwischer, and Fabien Klein. “Fast and Clean: Auditable High-Performance Assembly via Constraint Solving”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2024, no. 1 (December 4, 2023): 87–132. Accessed July 3, 2024. https://tches.iacr.org/index.php/TCHES/article/view/11241.