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