{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T08:39:05Z","timestamp":1787560745725,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100014013","name":"UK Research and Innovation","doi-asserted-by":"publisher","award":["75243 and 10017512"],"award-info":[{"award-number":["75243 and 10017512"]}],"id":[{"id":"10.13039\/100014013","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000288","name":"Royal Society","doi-asserted-by":"publisher","award":["Wolfson Fellowship"],"award-info":[{"award-number":["Wolfson Fellowship"]}],"id":[{"id":"10.13039\/501100000288","id-type":"DOI","asserted-by":"publisher"}]},{"name":"ARM\/Royal Academy of Engineering","award":["Research Chair"],"award-info":[{"award-number":["Research Chair"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3691620.3695515","type":"proceedings-article","created":{"date-parts":[[2024,10,18]],"date-time":"2024-10-18T15:39:19Z","timestamp":1729265959000},"page":"1434-1446","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7682-5581","authenticated-orcid":false,"given":"Igor","family":"Wodiany","sequence":"first","affiliation":[{"name":"Department of Computer Science, The University of Manchester, Manchester, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7715-4281","authenticated-orcid":false,"given":"Antoniu","family":"Pop","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Manchester, Manchester, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0842-1083","authenticated-orcid":false,"given":"Mikel","family":"Luj\u00e1n","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Manchester, Manchester, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Article 19 (dec","author":"Agadakos Ioannis","year":"2020","unstructured":"Ioannis Agadakos, Nicholas Demarinis, Di Jin, Kent Williams-King, Jearson Alfajardo, Benjamin Shteinfeld, David Williams-King, Vasileios P. Kemerlis, and Georgios Portokalidis. 2020. Large-Scale Debloating of Binary Shared Libraries. Digital Threats 1, 4, Article 19 (dec 2020), 28 pages."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3095716"},{"key":"e_1_3_2_1_3_1","volume-title":"Compiler-Assisted Application Specialization. In 2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P). IEEE","author":"Alhanahnah Mohannad","year":"2022","unstructured":"Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, and Thomas Reps. 2022. Lightweight, Multi-Stage, Compiler-Assisted Application Specialization. In 2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P). IEEE, Piscataway, NJ, USA, 251--269."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342195.3387550"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465380"},{"key":"e_1_3_2_1_6_1","unstructured":"Avast. 2022. RetDec. https:\/\/github.com\/avast\/retdec Accessed 2022-10-19."},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. ACM Program. Lang. 4, OOPSLA, Article 145 (nov","author":"Bartell Sean","year":"2020","unstructured":"Sean Bartell, Will Dietz, and Vikram S. Adve. 2020. Guided Linking: Dynamic Linking without the Costs. Proc. ACM Program. Lang. 4, OOPSLA, Article 145 (nov 2020), 29 pages."},{"key":"e_1_3_2_1_8_1","volume-title":"ARMore: Pushing Love Back Into Binaries. In 32nd USENIX Security Symposium (USENIX Security 23)","author":"Bartolomeo Luca Di","year":"2023","unstructured":"Luca Di Bartolomeo, Hossein Moghaddas, and Mathias Payer. 2023. ARMore: Pushing Love Back Into Binaries. In 32nd USENIX Security Symposium (USENIX Security 23). USENIX Association, Anaheim, CA, 6311--6328."},{"key":"e_1_3_2_1_9_1","volume-title":"USENIX Annual Technical Conference, FREENIX Track","volume":"41","author":"Bellard Fabrice","year":"2005","unstructured":"Fabrice Bellard. 2005. QEMU, a fast and portable dynamic translator. In USENIX Annual Technical Conference, FREENIX Track, Vol. 41. California, USA, USENIX Association, Berkeley, CA, USA, 46."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3422337.3447844"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065910.1065925"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3273045.3273048"},{"key":"e_1_3_2_1_13_1","volume-title":"2011 IEEE\/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE","author":"Chipounov Vitaly","year":"2011","unstructured":"Vitaly Chipounov and George Candea. 2011. Enabling sophisticated analyses of \u00d786 binaries with RevGen. In 2011 IEEE\/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE, Piscataway, NJ, USA, 211--216."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950396"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29962-0_5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086642.1086645"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1210268.1210273"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349233"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3033019.3033028"},{"key":"e_1_3_2_1_20_1","unstructured":"DynamoRIO. 2022. DynamoRIO. https:\/\/github.com\/DynamoRIO\/dynamorio Accessed 2022-11-09."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462165"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453933.3454022"},{"key":"e_1_3_2_1_23_1","unstructured":"Unicorn Engine. 2022. Unicorn. https:\/\/github.com\/unicorn-engine\/unicorn Accessed 2022-11-06."},{"key":"e_1_3_2_1_24_1","unstructured":"Inc. Galois. 2022. Reopt. https:\/\/github.com\/GaloisInc\/reopt Accessed 2022-05-12."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896451"},{"key":"e_1_3_2_1_26_1","volume-title":"Dynamic Binary Modification: Tools, Techniques, and Applications","author":"Hazelwood Kim","unstructured":"Kim Hazelwood. 2011. Dynamic Binary Modification: Tools, Techniques, and Applications. Springer Cham, Cham, Switzerland."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243838"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259030"},{"key":"e_1_3_2_1_29_1","volume-title":"JRed: Program Customization and Bloatware Mitigation Based on Static Analysis. In 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)","volume":"1","author":"Jiang Yufei","year":"2016","unstructured":"Yufei Jiang, Dinghao Wu, and Peng Liu. 2016. JRed: Program Customization and Bloatware Mitigation Based on Static Analysis. In 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC), Vol. 1. IEEE, Piscataway, NJ, USA, 12--21."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2016.27"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115648"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3273045.3273050"},{"key":"e_1_3_2_1_33_1","volume-title":"International Symposium on Code Generation and Optimization, 2004. CGO 2004. IEEE","author":"Lattner C.","unstructured":"C. Lattner and V. Adve. 2004. LLVM: a compilation framework for lifelong program analysis & transformation. In International Symposium on Code Generation and Optimization, 2004. CGO 2004. IEEE, Piscataway, NJ, USA, 75--86."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576195.2576213"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695751"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446765"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274703"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3583112"},{"key":"e_1_3_2_1_40_1","unstructured":"Trail of Bits. 2022. McSema. https:\/\/github.com\/lifting-bits\/mcsema Accessed 2022-05-12."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386017"},{"key":"e_1_3_2_1_42_1","volume-title":"RAZOR: A Framework for Post-deployment Software Debloating. In 28th USENIX Security Symposium (USENIX Security 19)","author":"Qian Chenxiong","year":"2019","unstructured":"Chenxiong Qian, Hong Hu, Mansour Alharthi, Pak Ho Chung, Taesoo Kim, and Wenke Lee. 2019. RAZOR: A Framework for Post-deployment Software Debloating. In 28th USENIX Security Symposium (USENIX Security 19). USENIX Association, Santa Clara, CA, 1733--1750."},{"key":"e_1_3_2_1_43_1","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Quach Anh","year":"2018","unstructured":"Anh Quach, Aravind Prakash, and Lok Yan. 2018. Debloating Software through Piece-Wise Compilation and Loading. In 27th USENIX Security Symposium (USENIX Security 18). USENIX Association, Baltimore, MD, 869--886."},{"key":"e_1_3_2_1_44_1","volume-title":"Evaluating MapReduce for Multi-core and Multiprocessor Systems. In 2007 IEEE 13th International Symposium on High Performance Computer Architecture. IEEE","author":"Ranger Colby","year":"2007","unstructured":"Colby Ranger, Ramanan Raghuraman, Arun Penmetsa, Gary Bradski, and Christos Kozyrakis. 2007. Evaluating MapReduce for Multi-core and Multiprocessor Systems. In 2007 IEEE 13th International Symposium on High Performance Computer Architecture. IEEE, Piscataway, NJ, USA, 13--24."},{"key":"e_1_3_2_1_45_1","volume-title":"Detection of Intrusions and Malware, and Vulnerability Assessment, Roberto Perdisci, Cl\u00e9mentine Maurice","author":"Redini Nilo","unstructured":"Nilo Redini, Ruoyu Wang, Aravind Machiry, Yan Shoshitaishvili, Giovanni Vigna, and Christopher Kruegel. 2019. BinTrimmer: Towards Static Binary Debloating Through Abstract Interpretation. In Detection of Intrusions and Malware, and Vulnerability Assessment, Roberto Perdisci, Cl\u00e9mentine Maurice, Giorgio Giacinto, and Magnus Almgren (Eds.). Springer International Publishing, Cham, 482--501."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297072"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523719"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3589610.3596281"},{"key":"e_1_3_2_1_49_1","unstructured":"Sascha Schirra. 2022. Ropper. https:\/\/github.com\/sashs\/Ropper Accessed 2022-11-09."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629335"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180236"},{"key":"e_1_3_2_1_52_1","volume-title":"Proceedings of the Fifth IEEE International Symposium on Signal Processing and Information Technology","author":"Put L. Van","year":"2005","unstructured":"L. Van Put, D. Chanet, B. De Bus, B. De Sutter, and K. De Bosschere. 2005. DIABLO: a reliable, retargetable and extensible link-time rewriting framework. In Proceedings of the Fifth IEEE International Symposium on Signal Processing and Information Technology, 2005. IEEE, Piscataway, NJ, USA, 7--12."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523702"},{"key":"e_1_3_2_1_54_1","volume-title":"Article 49","author":"Wenzl Matthias","year":"2019","unstructured":"Matthias Wenzl, Georg Merzdovnik, Johanna Ullrich, and Edgar Weippl. 2019. From Hack to Elaborate Technique---A Survey on Binary Rewriting. ACM Comput. Surv. 52, 3, Article 49 (2019), 37 pages."},{"key":"e_1_3_2_1_55_1","volume-title":"Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering","author":"Xin Qi","year":"2021","unstructured":"Qi Xin, Myeongsoo Kim, Qirun Zhang, and Alessandro Orso. 2021. Subdomain-Based Generality-Aware Debloating. In Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering (Virtual Event, Australia) (ASE '20). ACM, New York, NY, USA, 224--236."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316482.3326354"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516664"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507768"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358222"}],"event":{"name":"ASE '24: 39th IEEE\/ACM International Conference on Automated Software Engineering","location":"Sacramento CA USA","acronym":"ASE '24","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695515","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3691620.3695515","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:06:19Z","timestamp":1750291579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695515"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":59,"alternative-id":["10.1145\/3691620.3695515","10.1145\/3691620"],"URL":"https:\/\/doi.org\/10.1145\/3691620.3695515","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2024-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}