Let’s DOIT: Using Intel’s Extended HW/SW Contract for Secure Compilation of Crypto Code
S. Arranz-Olmos, G. Barthe, B. Grégoire, J. Jancar, V. Laporte, T. Oliveira, P. Schwabe, IACR Transactions on Cryptographic Hardware and Embedded Systems 2025 (2025) 644–667.