“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.