{"id":"https://openalex.org/W4406231129","doi":"https://doi.org/10.48550/arxiv.2501.04183","title":"Artifact for Paper Decompiling for Constant-Time Analysis","display_name":"Artifact for Paper Decompiling for Constant-Time Analysis","publication_year":2025,"publication_date":"2025-01-07","ids":{"openalex":"https://openalex.org/W4406231129","doi":"https://doi.org/10.48550/arxiv.2501.04183"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2501.04183","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.04183","pdf_url":"https://arxiv.org/pdf/2501.04183","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2501.04183","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072062100","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":false,"raw_author_name":"Arranz-Olmos, Santiago","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"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"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Barthe, Gilles","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003024932","display_name":"Lionel Blatter","orcid":"https://orcid.org/0000-0001-9058-2005"},"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":false,"raw_author_name":"Blatter, Lionel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Bouzid, Youcef","orcid":null},"institutions":[{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bouzid, Youcef","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115829682","display_name":"S\u00f6ren van der Wall","orcid":null},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"van der Wall, S\u00f6ren","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5025719939","display_name":"Zhiyuan Zhang","orcid":"https://orcid.org/0000-0002-2460-2685"},"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":false,"raw_author_name":"Zhang, Zhiyuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9940999746322632,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9940999746322632,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9883999824523926,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9868000149726868,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/side-channel-attack","display_name":"Side channel attack","score":0.6192606091499329},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.5214780569076538},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3950648903846741},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2480085790157318},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.1939622163772583},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.09214392304420471}],"concepts":[{"id":"https://openalex.org/C49289754","wikidata":"https://www.wikidata.org/wiki/Q2267081","display_name":"Side channel attack","level":3,"score":0.6192606091499329},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.5214780569076538},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3950648903846741},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2480085790157318},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.1939622163772583},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.09214392304420471}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:arXiv.org:2501.04183","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.04183","pdf_url":"https://arxiv.org/pdf/2501.04183","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},{"id":"pmh:oai:arXiv.org:2501.04183","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2501.04183","pdf_url":"https://arxiv.org/pdf/2501.04183","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2501.04183","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2501.04183","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.18749373","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.18749373","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2501.04183","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.04183","pdf_url":"https://arxiv.org/pdf/2501.04183","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G18682879","display_name":"EXC 2092: CyberSicherheit im Zeitalter gro\u00dfskaliger Angreifer (CASA)","funder_award_id":"390781972","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4323824501","https://openalex.org/W2355552010","https://openalex.org/W2136687465","https://openalex.org/W2390279801","https://openalex.org/W3016859066","https://openalex.org/W4391913857","https://openalex.org/W2358668433"],"abstract_inverted_index":{"The":[0],"CT":[1,20,26,51,110,113,138,155,159,198,206,219,236,275],"programming":[2],"discipline":[3],"is":[4,16,30,37,41,52,197,218,242],"commonly":[5],"used":[6,151,243],"to":[7,18,32,42,116,154,238],"protect":[8],"cryptographic":[9,245],"libraries":[10],"against":[11,250],"side-channel":[12],"attacks.":[13,252],"However,":[14],"it":[15,29,270],"hard":[17],"write":[19],"code;":[21],"moreover,":[22],"compilers":[23],"can":[24],"introduce":[25,205],"violations.":[27,160,207],"Therefore,":[28],"important":[31],"ensure":[33],"that":[34,44,50,75,106,132,149,215,223],"assembly":[35],"code":[36],"CT.":[38,122],"One":[39],"approach":[40,89,169],"show":[43,105,222],"source":[45],"programs":[46,118,131],"are":[47,133,146,150,228],"CT,":[48,240],"and":[49,64,157,221,268],"preserved":[53],"by":[54,135,244],"compilation.":[55],"In":[56],"this":[57],"paper,":[58],"we":[59,104,124,186,257],"explore":[60],"the":[61,67,80,87,144,167,175,179,183,188,254,263],"methodological":[62,184],"soundness":[63],"scalability":[65],"of":[66,83,128,170,190,226,235,262],"Decompile-then-Analyze":[68],"(DtA)":[69],"approach,":[70],"a":[71,92,99,194,216,248,259],"less":[72],"conventional":[73],"alternative":[74],"has":[76],"been":[77],"suggested":[78],"in":[79,141],"broader":[81],"setting":[82],"static":[84,95],"analysis.":[85],"Informally,":[86,193],"DtA":[88,180],"uses":[90],"decompilers":[91,108],"front-end":[93],"for":[94,101,177,213],"analysis":[96,139,156],"tools.":[97],"As":[98],"motivation":[100],"our":[102,162],"study,":[103],"current":[107],"eliminate":[109,158,203],"vulnerabilities":[111],"before":[112],"analysis,":[114],"leading":[115],"non-CT":[117],"being":[119],"accepted":[120,134],"as":[121,247],"Independently,":[123],"provide":[125,210],"*constructed*":[126],"examples":[127,163],"non-CT,":[129],"exploitable,":[130],"two":[136],"popular":[137,264],"tools;":[140],"both":[142],"cases":[143],"culprit":[145],"program":[147,195],"transformations":[148,225],"internally":[152],"prior":[153],"While":[161],"do":[164],"not":[165,202],"invalidate":[166],"general":[168,211],"these":[171],"tools,":[172],"they":[173],"emphasize":[174],"need":[176],"studying":[178],"approach.":[181],"On":[182,253],"side,":[185,256],"define":[187],"notion":[189],"*CT":[191],"transparency*.":[192],"transformation":[196,217],"transparent":[199],"if":[200],"does":[201],"nor":[204],"We":[208,230],"also":[209,231],"methods":[212],"proving":[214],"transparent,":[220],"several":[224],"interest":[227],"transparent.":[229],"sketch":[232],"an":[233,273],"extension":[234],"transparency":[237],"speculative":[239],"which":[241],"software":[246],"protection":[249],"Spectre":[251],"practical":[255],"build":[258],"CT-transparent":[260],"version":[261],"LLVM-based":[265],"decompiler":[266],"RETDEC,":[267],"combine":[269],"with":[271],"CT-LLVM,":[272],"existing":[274],"verification...":[276]},"counts_by_year":[],"updated_date":"2026-07-20T07:56:41.581041","created_date":"2025-01-10T00:00:00"}