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