Abdulrahman, Amin, et al. “Fast and Clean: Auditable High-Performance Assembly via Constraint Solving”. IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2024, no. 1, Dec. 2023, pp. 87-132, doi:10.46586/tches.v2024.i1.87-132.