{"id":"https://openalex.org/W4403936727","doi":"https://doi.org/10.1109/tdsc.2024.3482413","title":"Automatically Mitigating Vulnerabilities in Binary Programs via Partially Recompilable Decompilation","display_name":"Automatically Mitigating Vulnerabilities in Binary Programs via Partially Recompilable Decompilation","publication_year":2024,"publication_date":"2024-10-31","ids":{"openalex":"https://openalex.org/W4403936727","doi":"https://doi.org/10.1109/tdsc.2024.3482413"},"language":"en","primary_location":{"id":"doi:10.1109/tdsc.2024.3482413","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2024.3482413","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066333300","display_name":"Pemma Reiter","orcid":"https://orcid.org/0000-0003-1425-7811"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Pemma Reiter","raw_affiliation_strings":["Arizona State University, Tempe, AZ, USA","Arizona State University, USA"],"affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]},{"raw_affiliation_string":"Arizona State University, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048597254","display_name":"Hui Jun Tay","orcid":null},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hui Jun Tay","raw_affiliation_strings":["Arizona State University, Tempe, AZ, USA","Arizona State University, USA"],"affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]},{"raw_affiliation_string":"Arizona State University, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083601969","display_name":"Westley Weimer","orcid":"https://orcid.org/0000-0001-6749-2204"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Westley Weimer","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA","University of Michigan, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"University of Michigan, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050806439","display_name":"Adam Doup\u00e9","orcid":"https://orcid.org/0000-0003-2634-3901"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adam Doup\u00e9","raw_affiliation_strings":["Arizona State University, Tempe, AZ, USA","Arizona State University, USA"],"affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]},{"raw_affiliation_string":"Arizona State University, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046356501","display_name":"Ruoyu Wang","orcid":"https://orcid.org/0000-0003-1524-2566"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruoyu Wang","raw_affiliation_strings":["Arizona State University, Tempe, AZ, USA","Arizona State University, USA"],"affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]},{"raw_affiliation_string":"Arizona State University, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5114376382","display_name":"Stephanie Forrest","orcid":"https://orcid.org/0000-0002-5904-1646"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephanie Forrest","raw_affiliation_strings":["Arizona State University, Tempe, AZ, USA","Arizona State University, USA"],"affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]},{"raw_affiliation_string":"Arizona State University, USA","institution_ids":["https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5066333300"],"corresponding_institution_ids":["https://openalex.org/I55732556"],"apc_list":null,"apc_paid":null,"fwci":1.0245,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.81342853,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"22","issue":"3","first_page":"2270","last_page":"2282"},"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.9954000115394592,"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.9954000115394592,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9598000049591064,"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"}},{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9549000263214111,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7301955223083496},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.4794694185256958},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.39652198553085327},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3831615447998047},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.10226348042488098},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07940301299095154}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7301955223083496},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.4794694185256958},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.39652198553085327},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3831615447998047},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.10226348042488098},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07940301299095154}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tdsc.2024.3482413","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tdsc.2024.3482413","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.5,"id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G3254667246","display_name":null,"funder_award_id":"N6600120C4020","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4182325116","display_name":null,"funder_award_id":"FA8750-19C-0003","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320312777","display_name":"Santa Fe Institute","ror":"https://ror.org/01arysc35"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":67,"referenced_works":["https://openalex.org/W1968634175","https://openalex.org/W1975455521","https://openalex.org/W1977696633","https://openalex.org/W2010833880","https://openalex.org/W2013655083","https://openalex.org/W2040183246","https://openalex.org/W2044108151","https://openalex.org/W2060333670","https://openalex.org/W2061575154","https://openalex.org/W2063387237","https://openalex.org/W2081070822","https://openalex.org/W2084178119","https://openalex.org/W2090554354","https://openalex.org/W2091543666","https://openalex.org/W2122433740","https://openalex.org/W2145373440","https://openalex.org/W2146111965","https://openalex.org/W2147118954","https://openalex.org/W2153881107","https://openalex.org/W2156858199","https://openalex.org/W2165663378","https://openalex.org/W2172154252","https://openalex.org/W2192387223","https://openalex.org/W2274071363","https://openalex.org/W2302344383","https://openalex.org/W2373227884","https://openalex.org/W2612128870","https://openalex.org/W2625806818","https://openalex.org/W2735759754","https://openalex.org/W2752531355","https://openalex.org/W2761271546","https://openalex.org/W2787135123","https://openalex.org/W2794631344","https://openalex.org/W2795212651","https://openalex.org/W2795235421","https://openalex.org/W2804329188","https://openalex.org/W2883950365","https://openalex.org/W2886319709","https://openalex.org/W2920627032","https://openalex.org/W2947362543","https://openalex.org/W2948763287","https://openalex.org/W2997653900","https://openalex.org/W2998011150","https://openalex.org/W3007135727","https://openalex.org/W3012221736","https://openalex.org/W3027836659","https://openalex.org/W3033117380","https://openalex.org/W3043641306","https://openalex.org/W3043761819","https://openalex.org/W3092416948","https://openalex.org/W3120103085","https://openalex.org/W3160155705","https://openalex.org/W3167325648","https://openalex.org/W3208407575","https://openalex.org/W4231241365","https://openalex.org/W4233443044","https://openalex.org/W4236200536","https://openalex.org/W4236981789","https://openalex.org/W4239813889","https://openalex.org/W4243127898","https://openalex.org/W4288044870","https://openalex.org/W4288614128","https://openalex.org/W4308641648","https://openalex.org/W6736383728","https://openalex.org/W6763006819","https://openalex.org/W6785282791","https://openalex.org/W6787830629"],"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/W4396696052"],"abstract_inverted_index":{"Vulnerabilities":[0],"are":[1,20,36,40,133],"challenging":[2],"to":[3,29,51,61,98,128,226],"locate":[4],"and":[5,13,25,44,69,76,81,118,136,175,202,262,267],"repair,":[6],"especially":[7],"when":[8],"source":[9,229],"code":[10],"is":[11,16,96],"unavailable":[12],"binary":[14,59,73,108],"patching":[15],"required.":[17],"Manual":[18],"methods":[19,39],"time-consuming,":[21],"require":[22],"significant":[23],"expertise,":[24],"do":[26,83],"not":[27,84],"scale":[28],"the":[30,54,113,143,156,212,220,227,237,254],"rate":[31,217],"at":[32],"which":[33],"new":[34],"vulnerabilities":[35],"discovered.":[37],"Automated":[38,170],"an":[41,88],"attractive":[42],"alternative,":[43],"we":[45,188],"propose":[46],"Partially":[47],"Recompilable":[48],"Decompilation":[49],"(PRD)":[50],"help":[52],"automate":[53],"process.":[55],"PRD":[56,150,160,231],"lifts":[57],"suspect":[58],"functions":[60,132],"source,":[62],"available":[63],"for":[64],"analysis,":[65],"revision,":[66],"or":[67,124],"review,":[68],"creates":[70],"a":[71,99,164,215],"patched":[72],"using":[74],"source-":[75],"binary-level":[77],"techniques.":[78],"Although":[79],"decompilation":[80],"recompilation":[82,148],"typically":[85],"succeed":[86],"on":[87,181,196],"entire":[89,228],"binary,":[90],"our":[91,107,116],"approach":[92,117],"does":[93],"because":[94],"it":[95],"limited":[97],"few":[100],"functions,":[101],"such":[102],"as":[103,199,236],"those":[104,246],"identified":[105],"by":[106,248],"fault":[109],"localization.":[110],"We":[111,158],"evaluate":[112,159],"assumptions":[114],"underlying":[115],"find":[119,189],"that,":[120],"without":[121],"any":[122],"grammar":[123],"compilation":[125],"restrictions,":[126],"up":[127],"79%":[129],"of":[130,142,155,211],"individual":[131],"successfully":[134],"decompiled":[135],"recompiled.":[137],"In":[138],"comparison,":[139],"only":[140,195],"1.7%":[141],"full":[144],"C-binaries":[145],"succeed.":[146],"When":[147,179],"succeeds,":[149],"produces":[151],"test-equivalent":[152],"binaries":[153],"93.0%":[154],"time.":[157],"in":[161],"two":[162,257],"contexts:":[163],"fully":[165],"automated":[166],"process":[167],"incorporating":[168],"source-level":[169,177],"Program":[171],"Repair":[172],"(APR)":[173],"methods;":[174],"human-edited":[176],"repairs.":[178],"evaluated":[180],"DARPA":[182],"Cyber":[183],"Grand":[184],"Challenge":[185],"(CGC)":[186],"binaries,":[187,197],"that":[190],"PRD-enabled":[191],"APR":[192,260],"tools,":[193,207],"operating":[194,223],"perform":[198],"well":[200],"as,":[201],"sometimes":[203,241],"better":[204],"than":[205,245],"full-source":[206],"collectively":[208],"mitigating":[209],"85":[210],"148":[213],"scenarios,":[214],"success":[216,234],"consistent":[218],"with":[219,224],"same":[221],"tools":[222,261],"access":[225],"code.":[230],"achieves":[232],"similar":[233],"rates":[235],"winning":[238],"CGC":[239,250],"entries,":[240],"finding":[242],"higher-quality":[243],"mitigations":[244],"produced":[247],"top":[249],"teams.":[251],"For":[252],"generality,":[253],"evaluation":[255],"includes":[256],"independently":[258],"developed":[259],"<monospace":[263],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[264],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">C++</monospace>,":[265],"Rode0day,":[266],"real-world":[268],"binaries.":[269]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}