{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T15:53:34Z","timestamp":1783007614211,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,15]],"date-time":"2018-10-15T00:00:00Z","timestamp":1539561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,15]]},"DOI":"10.1145\/3243734.3243866","type":"proceedings-article","created":{"date-parts":[[2018,10,16]],"date-time":"2018-10-16T17:38:33Z","timestamp":1539711513000},"page":"1667-1680","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":86,"title":["Debin"],"prefix":"10.1145","author":[{"given":"Jingxuan","family":"He","sequence":"first","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pesho","family":"Ivanov","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Petar","family":"Tsankov","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Veselin","family":"Raychev","sequence":"additional","affiliation":[{"name":"DeepCode AG, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,10,15]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786849"},{"key":"e_1_3_2_2_2_1","first-page":"2482","volume-title":"Proceedings of International Conference on Acoustics, Speech and Signal Processing (ICASSP).","author":"Athiwaratkun Ben","unstructured":"Ben Athiwaratkun and Jack W. Stokes . 2017. Malware classification with LS\u2122 and GRU language models and a character-level CNN . In Proceedings of International Conference on Acoustics, Speech and Signal Processing (ICASSP). pages 2482 -- 2486 . Ben Athiwaratkun and Jack W. Stokes. 2017. Malware classification with LS\u2122 and GRU language models and a character-level CNN. In Proceedings of International Conference on Acoustics, Speech and Signal Processing (ICASSP). pages 2482--2486."},{"key":"e_1_3_2_2_3_1","first-page":"5","volume-title":"Reps","author":"Balakrishnan Gogul","year":"2004","unstructured":"Gogul Balakrishnan and Thomas W . Reps . 2004 . Analyzing Memory Accesses in x86 Executables. In Proceedings of Compiler Construction (CC) . pages 5 -- 23 . Gogul Balakrishnan and Thomas W. Reps. 2004. Analyzing Memory Accesses in x86 Executables. In Proceedings of Compiler Construction (CC). pages 5--23."},{"key":"e_1_3_2_2_4_1","first-page":"1","volume-title":"Reps","author":"Balakrishnan Gogul","year":"2007","unstructured":"Gogul Balakrishnan and Thomas W . Reps . 2007 . DIVINE : DIscovering Variables IN Executables. In Proceedings of Verification, Model Checking, and Abstract Interpretation (VMCAI) . pages 1 -- 28 . Gogul Balakrishnan and Thomas W. Reps. 2007. DIVINE: DIscovering Variables IN Executables. In Proceedings of Verification, Model Checking, and Abstract Interpretation (VMCAI). pages 1--28."},{"key":"e_1_3_2_2_5_1","first-page":"845","volume-title":"Proceedings of USENIX Security Symposium.","author":"Bao Tiffany","year":"2014","unstructured":"Tiffany Bao , Jonathan Burket , Maverick Woo , Rafael Turner , and David Brumley . 2014 . BYTEWEIGHT: Learning to Recognize Functions in Binary Code . In Proceedings of USENIX Security Symposium. pages 845 -- 860 . Tiffany Bao, Jonathan Burket, Maverick Woo, Rafael Turner, and David Brumley. 2014. BYTEWEIGHT: Learning to Recognize Functions in Binary Code. In Proceedings of USENIX Security Symposium. pages 845--860."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978422"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010933404324"},{"key":"e_1_3_2_2_8_1","first-page":"463","volume-title":"Schwartz","author":"Brumley David","year":"2011","unstructured":"David Brumley , Ivan Jager , Thanassis Avgerinos , and Edward J . Schwartz . 2011 . BAP : A Binary Analysis Platform. In Proceedings of Computer Aided Verification (CAV) . pages 463 -- 469 . David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz. 2011. BAP: A Binary Analysis Platform. In Proceedings of Computer Aided Verification (CAV). pages 463--469."},{"key":"e_1_3_2_2_9_1","first-page":"353","volume-title":"Proceedings of USENIX Security Symposium.","author":"Brumley David","year":"2013","unstructured":"David Brumley , JongHyup Lee , Edward J. Schwartz , and Maverick Woo . 2013 . Native x86 Decompilation Using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring . In Proceedings of USENIX Security Symposium. pages 353 -- 368 . David Brumley, JongHyup Lee, Edward J. Schwartz, and Maverick Woo. 2013. Native x86 Decompilation Using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring. In Proceedings of USENIX Security Symposium. pages 353--368."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23304"},{"key":"e_1_3_2_2_11_1","first-page":"99","volume-title":"Proceedings of USENIX Security Symposium.","author":"Chua Zheng Leong","year":"2017","unstructured":"Zheng Leong Chua , Shiqi Shen , Prateek Saxena , and Zhenkai Liang . 2017 . Neural Nets Can Learn Function Type Signatures From Binaries . In Proceedings of USENIX Security Symposium. pages 99 -- 116 . Zheng Leong Chua, Shiqi Shen, Prateek Saxena, and Zhenkai Liang. 2017. Neural Nets Can Learn Function Type Signatures From Binaries. In Proceedings of USENIX Security Symposium. pages 99--116."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908126"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062387"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462165"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23185"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3033019.3033028"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2664836"},{"key":"e_1_3_2_2_18_1","first-page":"666","volume-title":"Proceedings of the Annual Allerton Conference on Communication Control and Computing.","author":"Frey Brendan","year":"1997","unstructured":"Brendan Frey , Frank Kschischang , Hans-Andrea Loeliger , and Niclas Wiberg . 1997 . Factor graphs and algorithms . In Proceedings of the Annual Allerton Conference on Communication Control and Computing. pages 666 -- 680 . Brendan Frey, Frank Kschischang, Hans-Andrea Loeliger, and Niclas Wiberg. 1997. Factor graphs and algorithms. In Proceedings of the Annual Allerton Conference on Communication Control and Computing. pages 666--680."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-6226-1"},{"key":"e_1_3_2_2_20_1","unstructured":"Ilfak Guilfanov. 2008. Decompilers and beyond. In Black Hat USA.  Ilfak Guilfanov. 2008. Decompilers and beyond. In Black Hat USA."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024569.2024571"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3121274"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661148"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837674"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173202"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155609"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2017.7966340"},{"key":"e_1_3_2_2_28_1","first-page":"282","volume-title":"Proceedings of International Conference on Machine Learning (ICML).","author":"Lafferty John D.","unstructured":"John D. Lafferty , Andrew McCallum , and Fernando C. N. Pereira . 2001. Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data . In Proceedings of International Conference on Machine Learning (ICML). pages 282 -- 289 . John D. Lafferty, Andrew McCallum, and Fernando C. N. Pereira. 2001. Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data. In Proceedings of International Conference on Machine Learning (ICML). pages 282--289."},{"key":"e_1_3_2_2_29_1","volume-title":"Proceedings of Network and Distributed System Security Symposium (NDSS).","author":"Lee JongHyup","year":"2011","unstructured":"JongHyup Lee , Thanassis Avgerinos , and David Brumley . 2011 . TIE: Principled Reverse Engineering of Types in Binary Programs . In Proceedings of Network and Distributed System Security Symposium (NDSS). JongHyup Lee, Thanassis Avgerinos, and David Brumley. 2011. TIE: Principled Reverse Engineering of Types in Binary Programs. In Proceedings of Network and Distributed System Security Symposium (NDSS)."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2013.83"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2664243.2664269"},{"key":"e_1_3_2_2_32_1","volume-title":"Proceedings of USENIX Security Symposium.","author":"Popov Igor V.","unstructured":"Igor V. Popov , Saumya K. Debray , and Gregory R. Andrews . 2007. Binary Obfuscation Using Signals . In Proceedings of USENIX Security Symposium. Igor V. Popov, Saumya K. Debray, and Gregory R. Andrews. 2007. Binary Obfuscation Using Signals. In Proceedings of USENIX Security Symposium."},{"key":"e_1_3_2_2_33_1","volume-title":"Procceedings of International Conference on Learning Representations (ICLR).","author":"Raychev Veselin","year":"2017","unstructured":"Veselin Raychev , Pavol Bielik , and Martin Vechev . 2017 . Program Synthesis for Character Level Language Modeling . In Procceedings of International Conference on Learning Representations (ICLR). Veselin Raychev, Pavol Bielik, and Martin Vechev. 2017. Program Synthesis for Character Level Language Modeling. In Procceedings of International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837671"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677009"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594321"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001433"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572287"},{"key":"e_1_3_2_2_39_1","first-page":"38","volume-title":"Proceedings of IEEE Symposium on Security and Privacy (S&P).","author":"Schultz Matthew G.","unstructured":"Matthew G. Schultz , Eleazar Eskin , Erez Zadok , and Salvatore J. Stolfo . 2001. Data Mining Methods for Detection of New Malicious Executables . In Proceedings of IEEE Symposium on Security and Privacy (S&P). pages 38 -- 49 . Matthew G. Schultz, Eleazar Eskin, Erez Zadok, and Salvatore J. Stolfo. 2001. Data Mining Methods for Detection of New Malicious Executables. In Proceedings of IEEE Symposium on Security and Privacy (S&P). pages 38--49."},{"key":"e_1_3_2_2_40_1","first-page":"611","volume-title":"Proceedings of USENIX Security Symposium.","author":"Richard Shin Eui Chul","year":"2015","unstructured":"Eui Chul Richard Shin , Dawn Song , and Reza Moazzezi . 2015 . Recognizing Functions in Binaries with Neural Networks . In Proceedings of USENIX Security Symposium. pages 611 -- 626 . Eui Chul Richard Shin, Dawn Song, and Reza Moazzezi. 2015. Recognizing Functions in Binaries with Neural Networks. In Proceedings of USENIX Security Symposium. pages 611--626."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1561\/2200000013"},{"key":"e_1_3_2_2_43_1","unstructured":"Symantec Coporation. 2018. A-Z Listing of Threats & Risks. https:\/\/www.symantec.com\/security-center\/a-z.  Symantec Coporation. 2018. A-Z Listing of Threats & Risks. https:\/\/www.symantec.com\/security-center\/a-z."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106289"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2017.59"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134018"}],"event":{"name":"CCS '18: 2018 ACM SIGSAC Conference on Computer and Communications Security","location":"Toronto Canada","acronym":"CCS '18","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3243734.3243866","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3243734.3243866","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:47Z","timestamp":1750208267000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3243734.3243866"}},"subtitle":["Predicting Debug Information in Stripped Binaries"],"short-title":[],"issued":{"date-parts":[[2018,10,15]]},"references-count":46,"alternative-id":["10.1145\/3243734.3243866","10.1145\/3243734"],"URL":"https:\/\/doi.org\/10.1145\/3243734.3243866","relation":{},"subject":[],"published":{"date-parts":[[2018,10,15]]},"assertion":[{"value":"2018-10-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}