Abdulrahman, A., Becker, H., Kannwischer, M. J., & Klein, F. (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