{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T09:36:32Z","timestamp":1761989792096,"version":"3.40.5"},"reference-count":69,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"NSF","award":["CCF 1908633","OAC 2115075"],"award-info":[{"award-number":["CCF 1908633","OAC 2115075"]}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-19C-0003","N6600120C4020"],"award-info":[{"award-number":["FA8750-19C-0003","N6600120C4020"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100011419","name":"Santa Fe Institute","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100011419","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2025,5]]},"DOI":"10.1109\/tdsc.2024.3482413","type":"journal-article","created":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T17:40:52Z","timestamp":1730396452000},"page":"2270-2282","source":"Crossref","is-referenced-by-count":3,"title":["Automatically Mitigating Vulnerabilities in Binary Programs via Partially Recompilable Decompilation"],"prefix":"10.1109","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1425-7811","authenticated-orcid":false,"given":"Pemma","family":"Reiter","sequence":"first","affiliation":[{"name":"Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui Jun","family":"Tay","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6749-2204","authenticated-orcid":false,"given":"Westley","family":"Weimer","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2634-3901","authenticated-orcid":false,"given":"Adam","family":"Doup\u00e9","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1524-2566","authenticated-orcid":false,"given":"Ruoyu","family":"Wang","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5904-1646","authenticated-orcid":false,"given":"Stephanie","family":"Forrest","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"The living review on automated program repair","year":"2018","author":"Monperrus","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397370"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3375894.3375895"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.14722\/bar.2018.23008"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.14722\/ndss.2015.23185","article-title":"No more gotos: Decompilation using pattern-independent control-flow structuring and semantic-preserving transformations","volume-title":"Proc. Netw. Distrib. Syst. Secur. Symp.","author":"Yakdan"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2011.104"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2015.132"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3320269.3384766"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908119"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207163"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.409"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/icst.2014.19"},{"key":"ref15","first-page":"871","article-title":"Fault localization using function call sequences","volume-title":"Procedia Comput. Sci.","volume":"107","author":"Zhu","year":"2017"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451151"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.035"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/issrew51248.2020.00053"},{"article-title":"Automatically repairing programs using both tests and bug reports","year":"2020","author":"Motwani","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/wics.111"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3433210.3437528"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3318162"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2017.2755013"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510222"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549098"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ase.2013.6693094"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/access.2019.2901951"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/581396.581397"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296778"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2000791.2000795"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ase.2009.25"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/tr.2013.2285319"},{"article-title":"Lief-library to instrument executable formats","year":"2017","author":"Thomas","key":"ref36"},{"year":"2017","key":"ref37","article-title":"Trailofbits\/cb-multios: DARPA challenges sets for linux, windows, and macos"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/msp.2018.1870873"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3512290.3528864"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786825"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3182536"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9562-9"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"volume-title":"Proc. Int. Symp. Code Gener. Optim.","key":"ref48","article-title":"Tutorial: Building dynamic instrumentation tools with DynamoRIO"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378470"},{"key":"ref50","doi-asserted-by":"crossref","DOI":"10.14722\/ndss.2017.23225","article-title":"Ramblr: Making reassembly great again","volume-title":"Proc. 24th Annu. Netw. Distrib. Syst. Secur. Symp.","author":"Wang"},{"key":"ref51","first-page":"1075","article-title":"Datalog disassembly","volume-title":"Proc. USENIX Secur. Symp.","author":"Flores-Montoya"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385972"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2018.1870858"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/msp.2018.1870876"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3105906"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859059"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768427"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570042"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3067695.3082521"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568254"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771791"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737988"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106269"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397369"},{"key":"ref66","doi-asserted-by":"crossref","DOI":"10.14722\/ndss.2019.23126","article-title":"Automating patching of vulnerable open-source software versions in application binaries","volume-title":"Proc. Netw. Distrib. Syst. Secur. Symp.","author":"Duan"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/dsn.2017.29"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/eurosp.2017.11"},{"key":"ref69","first-page":"353","article-title":"Native x86 decompilation using semantics-preserving structural analysis and iterative control-flow structuring","volume-title":"Proc. USENIX Secur. Symp.","author":"Brumley"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68690-5_26"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-22038-9_14"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110645"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025121"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/8858\/10992672\/10740475-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/8858\/10992672\/10740475.pdf?arnumber=10740475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T03:26:20Z","timestamp":1747452380000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10740475\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5]]},"references-count":69,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2024.3482413","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"type":"print","value":"1545-5971"},{"type":"electronic","value":"1941-0018"},{"type":"electronic","value":"2160-9209"}],"subject":[],"published":{"date-parts":[[2025,5]]}}}