Let’s DOIT: Using Intel’s Extended HW/SW Contract for Secure Compilation of Crypto CodeSantiago Arranz-Olmos, Peter Schwabe|IACR Transactions on Cryptographic Hardware and Embedded Systems|2025Cited by 1