<grid><col xs="10" sm="10" lg="10">
  * <text size="large">**Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code**</text>\\ [[:publications:authors:santiago-arranz-olmos|Santiago Arranz-Olmos]], [[:publications:authors:gilles-barthe|Gilles Barthe]], [[:publications:authors:benjamin-gregoire|Benjamin Grégoire]], [[:publications:authors:jan-jancar|Jan Jancar]], [[:publications:authors:vincent-laporte|Vincent Laporte]], [[:publications:authors:tiago-oliveira|Tiago Oliveira]] and [[:publications:authors:peter-schwabe|Peter Schwabe]],\\ //IACR Transactions on Cryptographic Hardware and Embedded Systems//, Ruhr-University of Bochum, 2025.\\ Keywords: [[:publications:keywords:constant-time|constant-time]], [[:publications:keywords:cryptoimplementations|cryptoimplementations]], [[:publications:keywords:jasmin|jasmin]], {{:publications:pdf:2025-ches-jancar.pdf|pre-print PDF}}, ++ BibTeX |<code>@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},
}
</code>++
</col><col xs="2" sm="2" lg="2">
<button>[[https://crocs.fi.muni.cz/papers/letsdoit_ches25|Details]]</button>
</col></grid>