@article{ ABG+25,
  author        = {Santiago Arranz-Olmos and Gilles Barthe and Benjamin Gr{\'e}goire and 
                   Jan Jancar and Vincent Laporte and Tiago Oliveira and Peter Schwabe},
  title         = {Let’s {DOIT}: Using Intel’s Extended {HW/SW} Contract for Secure Compilation of Crypto Code},
  journal       = {Transactions on Cryptographic Hardware and Embedded Systems},
  publisher     = {Ruhr University Bochum},
  issue         = {2025-3},
  year          = {2025},
  pages         = {to appear},
  note          = {\url{http://cryptojedi.org/papers/\#letsdoit}},
}