{"id":"https://openalex.org/W2773049795","doi":"https://doi.org/10.1145/3141234","title":"Compiler-Assisted Loop Hardening Against Fault Attacks","display_name":"Compiler-Assisted Loop Hardening Against Fault Attacks","publication_year":2017,"publication_date":"2017-12-05","ids":{"openalex":"https://openalex.org/W2773049795","doi":"https://doi.org/10.1145/3141234","mag":"2773049795"},"language":"en","primary_location":{"id":"doi:10.1145/3141234","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3141234","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3141234?download=true","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3141234?download=true","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063115918","display_name":"Julien Proy","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Julien Proy","raw_affiliation_strings":["INVIA, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INVIA, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034064440","display_name":"Karine Heydemann","orcid":"https://orcid.org/0000-0003-2092-924X"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Karine Heydemann","raw_affiliation_strings":["Sorbonne Universit\u00e9s, UPMC Univ Paris 06, CNRS, LIP6, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9s, UPMC Univ Paris 06, CNRS, LIP6, Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I39804081","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019020535","display_name":"Alexandre Berzati","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alexandre Berzati","raw_affiliation_strings":["INVIA, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INVIA, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063162788","display_name":"Albert Cohen","orcid":"https://orcid.org/0000-0002-8866-5343"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Albert Cohen","raw_affiliation_strings":["INRIA and DI, \u00c9cole Normale Sup\u00e9rieure, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA and DI, \u00c9cole Normale Sup\u00e9rieure, Paris, France","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8588,"has_fulltext":true,"cited_by_count":36,"citation_normalized_percentile":{"value":0.89580701,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"14","issue":"4","first_page":"1","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8793485164642334},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7279490232467651},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.4529196619987488},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4214053153991699},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3598925769329071},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3334381580352783},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18135550618171692},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09992766380310059}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8793485164642334},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7279490232467651},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.4529196619987488},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4214053153991699},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3598925769329071},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3334381580352783},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18135550618171692},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09992766380310059}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3141234","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3141234","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3141234?download=true","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01657542v1","is_oa":false,"landing_page_url":"https://hal.sorbonne-universite.fr/hal-01657542","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Architecture and Code Optimization, 2017, 14 (4), pp.36. ⟨10.1145/3141234⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1145/3141234","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3141234","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3141234?download=true","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2773049795.pdf","grobid_xml":"https://content.openalex.org/works/W2773049795.grobid-xml"},"referenced_works_count":51,"referenced_works":["https://openalex.org/W22070249","https://openalex.org/W57986108","https://openalex.org/W61109470","https://openalex.org/W150190951","https://openalex.org/W238990112","https://openalex.org/W1571067952","https://openalex.org/W1598102953","https://openalex.org/W1686420892","https://openalex.org/W1915929860","https://openalex.org/W1935672779","https://openalex.org/W1981140470","https://openalex.org/W1990854931","https://openalex.org/W2000470949","https://openalex.org/W2033856124","https://openalex.org/W2034593585","https://openalex.org/W2036853599","https://openalex.org/W2066425771","https://openalex.org/W2072402822","https://openalex.org/W2078668570","https://openalex.org/W2095785650","https://openalex.org/W2109219878","https://openalex.org/W2110941647","https://openalex.org/W2111725598","https://openalex.org/W2114067856","https://openalex.org/W2114235603","https://openalex.org/W2126598527","https://openalex.org/W2126961436","https://openalex.org/W2127262877","https://openalex.org/W2130189691","https://openalex.org/W2144052131","https://openalex.org/W2150787412","https://openalex.org/W2153185479","https://openalex.org/W2154909745","https://openalex.org/W2155998973","https://openalex.org/W2169596872","https://openalex.org/W2183849663","https://openalex.org/W2283158196","https://openalex.org/W2295004952","https://openalex.org/W2330011596","https://openalex.org/W2496633572","https://openalex.org/W2505234834","https://openalex.org/W2514797658","https://openalex.org/W2560082747","https://openalex.org/W2560093387","https://openalex.org/W2602892162","https://openalex.org/W2614674041","https://openalex.org/W3105925763","https://openalex.org/W4240091400","https://openalex.org/W4246736256","https://openalex.org/W4285719527","https://openalex.org/W4298278800"],"related_works":["https://openalex.org/W4240253816","https://openalex.org/W3096456556","https://openalex.org/W2169584677","https://openalex.org/W2979513934","https://openalex.org/W4232954277","https://openalex.org/W2020341030","https://openalex.org/W2749133591","https://openalex.org/W2367473450","https://openalex.org/W2188516702","https://openalex.org/W4285387874"],"abstract_inverted_index":{"Secure":[0],"elements":[1],"widely":[2],"used":[3],"in":[4,38,82,131,158,167],"smartphones,":[5],"digital":[6],"consumer":[7],"electronics,":[8],"and":[9,28,41,53,79,85,126,185,199,208],"payment":[10],"systems":[11],"are":[12,23,190],"subject":[13],"to":[14,56,60,141,192,195],"fault":[15],"attacks.":[16],"To":[17],"thwart":[18],"such":[19,135],"attacks,":[20],"software":[21],"protections":[22],"manually":[24],"inserted":[25],"requiring":[26],"experts":[27],"time.":[29],"The":[30,87],"explosion":[31],"of":[32,35,47,51,68,77,103,123,127,134,177,181,187],"the":[33,45,54,65,74,100,121,128,132,143,147,162,168,172,178],"Internet":[34],"Things":[36],"(IoT)":[37],"home,":[39],"business,":[40],"public":[42],"spaces":[43],"motivates":[44],"hardening":[46,117],"a":[48,94,113],"wider":[49],"class":[50],"applications":[52],"need":[55],"offer":[57],"security":[58,88,144,183],"solutions":[59],"non-experts.":[61],"This":[62],"article":[63],"addresses":[64],"automated":[66],"protection":[67],"loops":[69,180,189],"at":[70,161,206],"compilation":[71,148],"time,":[72],"covering":[73],"widest":[75],"range":[76],"control-":[78],"data-flow":[80],"patterns,":[81],"both":[83],"shape":[84],"complexity.":[86],"property":[89,145],"we":[90],"consider":[91],"is":[92],"that":[93],"sensitive":[95,179],"loop":[96,116],"must":[97,108],"always":[98],"perform":[99],"expected":[101],"number":[102],"iterations;":[104],"otherwise,":[105],"an":[106],"attack":[107],"be":[109,193],"reported.":[110],"We":[111,137,154],"propose":[112],"generic":[114],"compile-time":[115],"scheme":[118],"based":[119],"on":[120],"duplication":[122],"termination":[124],"conditions":[125],"computations":[129],"involved":[130],"evaluation":[133],"conditions.":[136],"also":[138],"investigate":[139],"how":[140],"preserve":[142],"along":[146],"flow":[149],"while":[150],"enabling":[151],"aggressive":[152],"optimizations.":[153],"implemented":[155],"this":[156],"algorithm":[157],"LLVM":[159],"4.0":[160],"Intermediate":[163],"Representation":[164],"(IR)":[165],"level":[166],"backend.":[169],"On":[170],"average,":[171],"compiler":[173],"automatically":[174],"hardens":[175],"95%":[176],"typical":[182],"benchmarks,":[184],"98%":[186],"these":[188],"shown":[191],"robust":[194],"simulated":[196],"faults.":[197],"Performance":[198],"code":[200],"size":[201],"overhead":[202],"remain":[203],"quite":[204],"affordable,":[205],"12.5%":[207],"14%,":[209],"respectively.":[210]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}