{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T17:00:02Z","timestamp":1781283602018,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,23]]},"DOI":"10.1145\/3800506.3803501","type":"proceedings-article","created":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T16:24:42Z","timestamp":1781281482000},"page":"243-254","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Practical Type Inference: High-Throughput Recovery of Real-World Structures and Function Signatures"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-8190-0300","authenticated-orcid":false,"given":"Lukas","family":"Seidel","sequence":"first","affiliation":[{"name":"Binarly, Inc., Santa Monica, USA and TU Berlin, Berlin, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4321-1129","authenticated-orcid":false,"given":"Sam L.","family":"Thomas","sequence":"additional","affiliation":[{"name":"Binarly, Inc., Santa Monica, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5054-8758","authenticated-orcid":false,"given":"Konrad","family":"Rieck","sequence":"additional","affiliation":[{"name":"TU Berlin, Berlin, Germany and BIFOLD, Berlin, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Symposium on Network and Distributed System Security (NDSS).","author":"Avgerinos Thanassis","year":"2011","unstructured":"Thanassis Avgerinos. 2011. TIE: Principled reverse engineering of types in binary programs. In Symposium on Network and Distributed System Security (NDSS)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1972.10481216"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC58990.2023.00042"},{"key":"e_1_3_2_1_4_1","volume-title":"Xiangzhe Gao, Gene Tsudik, and Ahmad-Reza Sadeghi.","author":"Chen Qibin","year":"2022","unstructured":"Qibin Chen, Jeremy Hunt, Kavinda Ravishan Fernando, Xiangzhe Gao, Gene Tsudik, and Ahmad-Reza Sadeghi. 2022. DIRT: Raw Dataset. https:\/\/doi.org\/10. 1184\/R1\/20732656 Last Accessed: 10.12.2025."},{"key":"e_1_3_2_1_5_1","volume-title":"Xiangzhe Gao, Gene Tsudik, and Ahmad-Reza Sadeghi.","author":"Chen Qibin","year":"2022","unstructured":"Qibin Chen, Jeremy Hunt, Kavinda Ravishan Fernando, Xiangzhe Gao, Gene Tsudik, and Ahmad-Reza Sadeghi. 2022. DIRTY: Open Source Version. https: \/\/github.com\/Carnegie Mellon UniversitySTRUDEL\/DIRTY\/tree\/main Last Accessed: 15.12.2025."},{"key":"e_1_3_2_1_6_1","volume-title":"USENIX Security Symposium. 4327-4343","author":"Chen Qibin","year":"2022","unstructured":"Qibin Chen, Jeremy Lacomis, Edward J Schwartz, Claire Le Goues, Graham Neubig, and Bogdan Vasilescu. 2022. Augmenting decompiler output with learned variable names and types. In USENIX Security Symposium. 4327-4343."},{"key":"e_1_3_2_1_7_1","volume-title":"HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation. In USENIX Security Symposium.","author":"Clements Abraham A","year":"2020","unstructured":"Abraham A Clements, Eric Gustafson, Tobias Scharnowski, Paul Grosen, David Fritz, Christopher Kruegel, Giovanni Vigna, Saurabh Bagchi, and Mathias Payer. 2020. HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation. In USENIX Security Symposium."},{"key":"e_1_3_2_1_8_1","volume-title":"Claire Le Goues, and Edward Schwartz","author":"Dramko Luke","year":"2025","unstructured":"Luke Dramko, Deniz B\u00f6l\u00f6ni-Turgut, Claire Le Goues, and Edward Schwartz. 2025. Quantifying and Mitigating the Impact of Obfuscations on Machine-Learning- Based Decompilation Improvement. In Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA). Springer, 244-266."},{"key":"e_1_3_2_1_9_1","volume-title":"Claire Le Goues, and Edward J Schwartz","author":"Dramko Luke","year":"2025","unstructured":"Luke Dramko, Claire Le Goues, and Edward J Schwartz. 2025. Idioms: Neural Decompilation With Joint Code and Type Definition Prediction. arXiv (2025)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3643744"},{"key":"e_1_3_2_1_11_1","volume-title":"USENIX Security Symposium.","author":"Feng Bo","year":"2020","unstructured":"Bo Feng, Alejandro Mera, and Long Lu. 2020. P2IM: Scalable and Hardwareindependent Firmware Testing via Automatic Peripheral Interface Modeling. In USENIX Security Symposium."},{"key":"e_1_3_2_1_12_1","volume-title":"Claire Le Goues, and Bogdan Vasilescu","author":"Green Harrison","year":"2024","unstructured":"Harrison Green, Edward J Schwartz, Claire Le Goues, and Bogdan Vasilescu. 2024. STRIDE: Simple Type Recognition In Decompiled Executables. arXiv (2024)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243866"},{"key":"e_1_3_2_1_14_1","first-page":"12","article-title":"IDA Pro. https:\/\/hex-rays.com\/ida-pro\/","volume":"15","year":"1999","unstructured":"Hex-Rays. 1999. IDA Pro. https:\/\/hex-rays.com\/ida-pro\/. Last Accessed: 15.12.2025.","journal-title":"Last Accessed"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2024.24401"},{"key":"e_1_3_2_1_16_1","volume-title":"Beyond the Edge of Function: Unraveling the Patterns of Type Recovery in Binary Code. arXiv","author":"Li Gangyang","year":"2025","unstructured":"Gangyang Li, Xiuwei Shang, Shaoyin Cheng, Junqi Zhang, Li Hu, Xu Zhu, Weiming Zhang, and Nenghai Yu. 2025. Beyond the Edge of Function: Unraveling the Patterns of Type Recovery in Binary Code. arXiv (2025)."},{"key":"e_1_3_2_1_17_1","unstructured":"LLVM 2017. LLVM Language Reference Manual. https:\/\/llvm.org\/docs\/LangRef. html"},{"key":"e_1_3_2_1_18_1","volume-title":"Typeminer: Recovering types in binary programs using machine learning. In Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA)","author":"Maier Alwin","year":"2019","unstructured":"Alwin Maier, Hugo Gascon, Christian Wressnegger, and Konrad Rieck. 2019. Typeminer: Recovering types in binary programs using machine learning. In Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA). Springer, 288-308."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908119"},{"key":"e_1_3_2_1_21_1","first-page":"12","article-title":"Ghidra: Reverse Engineering Suite. https:\/\/ghidra-sre.org\/","volume":"7","author":"NSA.","year":"2019","unstructured":"NSA. 2019. Ghidra: Reverse Engineering Suite. https:\/\/ghidra-sre.org\/. Last Accessed: 7.12.2025.","journal-title":"Last Accessed"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00152"},{"key":"e_1_3_2_1_23_1","unstructured":"rkyv 2025. rkyv: zero-copy deserialization framework for Rust. https:\/\/rkyv.org\/"},{"key":"e_1_3_2_1_24_1","volume-title":"Learning Type Inference for Enhanced Dataflow Analysis. In European Symposium on Research in Computer Security (ESORICS). Springer, 184-203","author":"Seidel Lukas","year":"2023","unstructured":"Lukas Seidel, Sedick David Baker Effendi, Xavier Pinho, Konrad Rieck, Brink Van der Merwe, and Fabian Yamaguchi. 2023. Learning Type Inference for Enhanced Dataflow Analysis. In European Symposium on Research in Computer Security (ESORICS). Springer, 184-203."},{"key":"e_1_3_2_1_25_1","volume-title":"Forming Faster Firmware Fuzzers. In USENIX Security Symposium. https:\/\/www.usenix.org\/conference\/ usenixsecurity23\/presentation\/seidel","author":"Seidel Lukas","year":"2023","unstructured":"Lukas Seidel, Dominik Maier, and Marius Muench. 2023. Forming Faster Firmware Fuzzers. In USENIX Security Symposium. https:\/\/www.usenix.org\/conference\/ usenixsecurity23\/presentation\/seidel"},{"key":"e_1_3_2_1_26_1","first-page":"12","article-title":"HyRES Dataset. https:\/\/github.com\/Sandspeare\/HyRES\/tree\/main\/binaries","volume":"10","author":"Sha Zihan","year":"2025","unstructured":"Zihan Sha, Hui Shu, Hao Wang, Zeyu Gao, Yang Lan, and Chao Zhang. 2025. HyRES Dataset. https:\/\/github.com\/Sandspeare\/HyRES\/tree\/main\/binaries. Last Accessed: 10.12.2025.","journal-title":"Last Accessed"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3736719"},{"key":"e_1_3_2_1_28_1","volume-title":"Symposium on Network and Distributed System Security (NDSS).","author":"Slowinska Asia","year":"2011","unstructured":"Asia Slowinska, Traian Stancescu, and Herbert Bos. 2011. Howard: A Dynamic Excavator for Reverse Engineering Data Structures.. In Symposium on Network and Distributed System Security (NDSS)."},{"key":"e_1_3_2_1_29_1","volume-title":"International Static Analysis Symposium (SAS). Springer, 425-450","author":"Smith Ian","year":"2024","unstructured":"Ian Smith. 2024. Binsub: The simple essence of polymorphic type inference for machine code. In International Static Analysis Symposium (SAS). Springer, 425-450."},{"key":"e_1_3_2_1_30_1","volume-title":"Fuzzware: Using Precise MMIO Modeling for Effective Firmware Fuzzing. In USENIX Security Symposium.","author":"Scharnowski Tobias","year":"2022","unstructured":"Tobias Scharnowski, Nils Bars, Moritz Schloegel, Eric Gustafson, Marius Muench, Giovanni Vigna, Christopher Kruegel, Thorsten Holz, and Ali Abbasi. 2022. Fuzzware: Using Precise MMIO Modeling for Effective Firmware Fuzzing. In USENIX Security Symposium."},{"key":"e_1_3_2_1_31_1","volume-title":"Attention is all you need. Advances in neural information processing systems 30","author":"Vaswani Ashish","year":"2017","unstructured":"Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, \u0141ukasz Kaiser, and Illia Polosukhin. 2017. Attention is all you need. Advances in neural information processing systems 30 (2017)."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-025-10704-3"},{"key":"e_1_3_2_1_33_1","first-page":"12","article-title":"TypeForge: Open Source Ghidra Extension. https:\/\/github.com\/noobone123\/TypeForge","volume":"10","author":"Wang Yanzhong","year":"2025","unstructured":"Yanzhong Wang, Ruigang Liang, Yilin Li, Peiwei Hu, Kai Chen, and Bolun Zhang. 2025. TypeForge: Open Source Ghidra Extension. https:\/\/github.com\/noobone123\/TypeForge. Last Accessed: 10.12.2025.","journal-title":"Last Accessed"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP61157.2025.00193"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3670340"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00051"},{"key":"e_1_3_2_1_37_1","volume-title":"USENIX Security Symposium. 4283-4300","author":"Zhu Chang","year":"2024","unstructured":"Chang Zhu, Ziyang Li, Anton Xue, Ati Priya Bajaj, Wil Gibbs, Yibo Liu, Rajeev Alur, Tiffany Bao, Hanjun Dai, Adam Doup\u00e9, et al. 2024. {TYGR}: Type Inference on Stripped Binaries using Graph Neural Networks. In USENIX Security Symposium. 4283-4300."}],"event":{"name":"CODASPY '26: Sixteenth ACM Conference on Data and Application Security and Privacy","location":"Frankfurt am Main Germany","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the Sixteenth ACM Conference on Data and Application Security and Privacy"],"original-title":[],"deposited":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T16:25:32Z","timestamp":1781281532000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3800506.3803501"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,22]]},"references-count":37,"alternative-id":["10.1145\/3800506.3803501","10.1145\/3800506"],"URL":"https:\/\/doi.org\/10.1145\/3800506.3803501","relation":{},"subject":[],"published":{"date-parts":[[2026,6,22]]},"assertion":[{"value":"2026-06-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}