Fast and Clean: Auditable high-performance assembly via constraint solving. (2023). IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024(1), 87-132. https://doi.org/10.46586/tches.v2024.i1.87-132