@InProceedings{2025-ches-jancar,
  title = {Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code},
  author = {Santiago Arranz-Olmos and Gilles Barthe and Benjamin Grégoire and Jan Jancar and Vincent Laporte and Tiago Oliveira and Peter Schwabe},
  booktitle = {IACR Transactions on Cryptographic Hardware and Embedded Systems},
  publisher = {Ruhr-University of Bochum},
  year = {2025},
  keywords = {constant-time, cryptoimplementations, Jasmin},
}