{"id":"https://openalex.org/W4411157205","doi":"https://doi.org/10.46586/tches.v2025.i3.644-667","title":"Let\u2019s DOIT: Using Intel\u2019s Extended HW/SW Contract for Secure Compilation of Crypto Code","display_name":"Let\u2019s DOIT: Using Intel\u2019s Extended HW/SW Contract for Secure Compilation of Crypto Code","publication_year":2025,"publication_date":"2025-06-05","ids":{"openalex":"https://openalex.org/W4411157205","doi":"https://doi.org/10.46586/tches.v2025.i3.644-667"},"language":"en","primary_location":{"id":"doi:10.46586/tches.v2025.i3.644-667","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tches.v2025.i3.644-667","pdf_url":"https://ojs.ub.rub.de/index.php/TCHES/article/download/12229/12036","source":{"id":"https://openalex.org/S4210207404","display_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","issn_l":"2569-2925","issn":["2569-2925"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ojs.ub.rub.de/index.php/TCHES/article/download/12229/12036","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5117937229","display_name":"Santiago Arranz-Olmos","orcid":null},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Santiago Arranz-Olmos","raw_affiliation_strings":["MPI-SP, Bochum, Germany"],"affiliations":[{"raw_affiliation_string":"MPI-SP, Bochum, Germany","institution_ids":["https://openalex.org/I4210096592"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075577852","display_name":"Gilles Barthe","orcid":"https://orcid.org/0000-0002-3853-1777"},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]},{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["DE","ES"],"is_corresponding":false,"raw_author_name":"Gilles Barthe","raw_affiliation_strings":["MPI-SP, Bochum, Germany; IMDEA Software Institute, Madrid, Spain","MPI-SP, Bochum, Germany","IMDEA Software Institute, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"MPI-SP, Bochum, Germany; IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]},{"raw_affiliation_string":"MPI-SP, Bochum, Germany","institution_ids":["https://openalex.org/I4210096592"]},{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103256238","display_name":"Benjamin Gr\u00e9goire","orcid":"https://orcid.org/0000-0001-6650-9924"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Benjamin Gr\u00e9goire","raw_affiliation_strings":["Inria, Sophia-Antipolis, France"],"affiliations":[{"raw_affiliation_string":"Inria, Sophia-Antipolis, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013087653","display_name":"Jan Jancar","orcid":"https://orcid.org/0000-0002-1864-0183"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Jan Jancar","raw_affiliation_strings":["Masaryk University, Brno, Czechia"],"affiliations":[{"raw_affiliation_string":"Masaryk University, Brno, Czechia","institution_ids":["https://openalex.org/I21449261"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088318447","display_name":"Vincent Laporte","orcid":"https://orcid.org/0000-0002-3468-352X"},"institutions":[{"id":"https://openalex.org/I4210127166","display_name":"Centre Inria de l'Universit\u00e9 de Lorraine","ror":"https://ror.org/03fcjvn64","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210127166"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Vincent Laporte","raw_affiliation_strings":["Inria, Nancy, France"],"affiliations":[{"raw_affiliation_string":"Inria, Nancy, France","institution_ids":["https://openalex.org/I4210127166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085787959","display_name":"Tiago Oliveira","orcid":"https://orcid.org/0000-0001-7395-3070"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tiago Oliveira","raw_affiliation_strings":["SandboxAQ, Palo Alto, USA"],"affiliations":[{"raw_affiliation_string":"SandboxAQ, Palo Alto, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074344027","display_name":"Peter Schwabe","orcid":"https://orcid.org/0000-0002-1310-0997"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE","NL"],"is_corresponding":false,"raw_author_name":"Peter Schwabe","raw_affiliation_strings":["MPI-SP, Bochum, Germany; Radboud University, Nijmegen, The Netherlands","MPI-SP, Bochum, Germany","Radboud University, Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"MPI-SP, Bochum, Germany; Radboud University, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"MPI-SP, Bochum, Germany","institution_ids":["https://openalex.org/I4210096592"]},{"raw_affiliation_string":"Radboud University, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5117937229"],"corresponding_institution_ids":["https://openalex.org/I4210096592"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17962498,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2025","issue":"3","first_page":"644","last_page":"667"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13999","display_name":"Digital Rights Management and Security","score":0.9233999848365784,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13999","display_name":"Digital Rights Management and Security","score":0.9233999848365784,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9014000296592712,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6506521701812744},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5705404877662659},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5314788818359375},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.47030967473983765},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3804471492767334}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6506521701812744},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5705404877662659},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5314788818359375},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.47030967473983765},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3804471492767334},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.46586/tches.v2025.i3.644-667","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tches.v2025.i3.644-667","pdf_url":"https://ojs.ub.rub.de/index.php/TCHES/article/download/12229/12036","source":{"id":"https://openalex.org/S4210207404","display_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","issn_l":"2569-2925","issn":["2569-2925"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","raw_type":"journal-article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/320588","is_oa":true,"landing_page_url":"https://hdl.handle.net/2066/320588","pdf_url":"https://repository.ubn.ru.nl//bitstream/handle/2066/320588/320588.pdf","source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article / Letter to editor"},{"id":"pmh:oai:HAL:hal-05249675v1","is_oa":true,"landing_page_url":"https://hal.univ-lorraine.fr/hal-05249675","pdf_url":null,"source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems, 2025, 2025 (3), pp.644-667. ⟨10.46586/tches.v2025.i3.644-667⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:d04eb66652954d849591b6fd66192135","is_oa":true,"landing_page_url":"https://doaj.org/article/d04eb66652954d849591b6fd66192135","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Transactions on Cryptographic Hardware and Embedded Systems, Vol 2025, Iss 3 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46586/tches.v2025.i3.644-667","is_oa":true,"landing_page_url":"https://doi.org/10.46586/tches.v2025.i3.644-667","pdf_url":"https://ojs.ub.rub.de/index.php/TCHES/article/download/12229/12036","source":{"id":"https://openalex.org/S4210207404","display_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","issn_l":"2569-2925","issn":["2569-2925"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IACR Transactions on Cryptographic Hardware and Embedded Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1718986858","display_name":null,"funder_award_id":"ANR-22-PECY-000","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G18682879","display_name":null,"funder_award_id":"390781972","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3507816311","display_name":null,"funder_award_id":"Excellence Strategy of the German Federal and Stat","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G352791218","display_name":null,"funder_award_id":"(BMBF)","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G4041451713","display_name":null,"funder_award_id":"ANR-22-PECY-0006","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4409308110","display_name":null,"funder_award_id":"Excellence Strategy of the German Federal and State Governments","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G5106512922","display_name":null,"funder_award_id":"Deutsche Forschungsgemeinschaft (DFG","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5717916917","display_name":null,"funder_award_id":"39078197","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6364093981","display_name":null,"funder_award_id":"16KISK038","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G6612625481","display_name":null,"funder_award_id":"France 2030","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8413167928","display_name":null,"funder_award_id":"Excellence Strategy","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G975799825","display_name":null,"funder_award_id":"France 2030 prog","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411157205.pdf","grobid_xml":"https://content.openalex.org/works/W4411157205.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2056396287"],"abstract_inverted_index":{"It":[0],"is":[1,25,162,188,259,274],"a":[2,42,50,85,136,167,177,216],"widely":[3],"accepted":[4],"standard":[5],"practice":[6],"to":[7,28,79,121,146,164,183,206,246,250,256,275,279],"implement":[8],"cryptographic":[9,185,253],"software":[10,31,186,254],"so":[11],"that":[12,143,180,187,194,197],"secret":[13,60,82,209],"inputs":[14,152],"do":[15],"not":[16],"influence":[17],"the":[18,110,113,124,160,192,201,236,248,271],"cycle":[19],"count.":[20],"Software":[21],"following":[22,35],"this":[23,88,173,224,263],"paradigm":[24,265],"often":[26],"referred":[27],"as":[29],"\u201cconstant-time\u201d":[30,258],"and":[32,53,133,269],"typically":[33],"involves":[34],"three":[36],"rules:":[37],"1)":[38],"never":[39,46,101],"branch":[40,218],"on":[41,59,81,92,117,128,156,208,228],"secret-dependent":[43,51],"condition,":[44],"2)":[45],"access":[47],"memory":[48],"at":[49],"location,":[52],"3)":[54],"avoid":[55],"variable-time":[56,69],"arithmetic":[57,70],"operations":[58,76],"data.":[61],"The":[62],"third":[63],"rule":[64],"requires":[65],"knowledge":[66,89],"about":[67,150],"such":[68],"instructions,":[71],"or":[72,95,219],"vice":[73],"versa,":[74],"which":[75,251],"are":[77,144,204],"safe":[78],"use":[80,243],"inputs.":[83],"For":[84,223],"long":[86],"time,":[87],"was":[90],"based":[91],"either":[93],"documentation":[94],"microbenchmarks,":[96],"but":[97],"critically,":[98],"there":[99],"were":[100],"any":[102],"guarantees":[103],"for":[104,239],"future":[105,157],"microarchitectures.":[106],"This":[107],"changed":[108],"with":[109],"introduction":[111],"of":[112,138,230],"data-operand-independent-timing":[114],"(DOIT)":[115],"mode":[116,127],"Intel":[118,132],"CPUs":[119],"and,":[120],"some":[122],"extent,":[123],"data-independent-timing":[125],"(DIT)":[126],"Arm":[129,134],"CPUs.":[130],"Both":[131],"document":[135],"subset":[137,203],"their":[139,151],"respective":[140],"instruction":[141],"sets":[142],"intended":[145],"leak":[147],"no":[148],"information":[149],"through":[153],"timing,":[154],"even":[155,211],"microarchitectures":[158],"if":[159],"CPU":[161],"set":[163],"run":[165],"in":[166,191,235,262],"dedicated":[168],"DOIT":[169,182,202,268],"(or":[170],"DIT)":[171],"mode.In":[172],"paper,":[174],"we":[175,226],"present":[176],"principled":[178],"solution":[179,245],"leverages":[181],"enable":[184],"future-proof":[189,280],"constant-time,":[190],"sense":[193],"it":[195],"ensures":[196],"only":[198],"instructions":[199],"from":[200,277],"used":[205],"operate":[207],"data,":[210],"during":[212],"speculative":[213],"execution":[214],"after":[215],"mispredicted":[217],"function":[220],"return":[221],"location.":[222],"solution,":[225],"build":[227],"top":[229],"existing":[231,252],"security":[232],"type":[233],"systems":[234],"Jasmin":[237],"framework":[238],"high-assurance":[240],"cryptography.We":[241],"then":[242],"our":[244],"evaluate":[247],"extent":[249],"built":[255],"be":[257],"already":[260],"secure":[261],"stricter":[264],"implied":[266],"by":[267],"what":[270],"performance":[272],"impact":[273],"move":[276],"constant-time":[278],"constant-time.":[281]},"counts_by_year":[],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}