{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T15:43:27Z","timestamp":1785512607786,"version":"3.56.0"},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T00:00:00Z","timestamp":1747008000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T00:00:00Z","timestamp":1747008000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["62302497,62302497,92270204"],"award-info":[{"award-number":["62302497,62302497,92270204"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,5,12]]},"DOI":"10.1109\/sp61157.2025.00193","type":"proceedings-article","created":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T18:46:58Z","timestamp":1750099618000},"page":"1-18","source":"Crossref","is-referenced-by-count":4,"title":["TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries"],"prefix":"10.1109","author":[{"given":"Yanzhong","family":"Wang","sequence":"first","affiliation":[{"name":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ruigang","family":"Liang","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yilin","family":"Li","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peiwei","family":"Hu","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kai","family":"Chen","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bolun","family":"Zhang","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Cyberspace Security Defense, Institute of Information Engineering, CAS,China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639158"},{"key":"ref2","article-title":"Leveraging semantic relations in code and data to enhance taint analysis of embedded systems","volume-title":"USENIX Security Symposium","author":"Zhao"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3623278.3624759"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179314"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2024.24346"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2024.24401"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3564625.3567998"},{"key":"ref8","article-title":"A taxonomy of C decompiler fidelity issues","volume-title":"33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14\u201316, 2024","author":"Dramko"},{"key":"ref9","article-title":"Augmenting decompiler output with learned variable names and types","volume-title":"USENIX Security Symposium","author":"Chen"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2023.3283913"},{"key":"ref11","article-title":"Embersim: A large-scale databank for boosting similarity search in malware analysis","volume-title":"Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 \u2013 16, 2023","author":"Corlatescu"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/sp40001.2021.00047"},{"key":"ref13","volume-title":"Ghidra","year":"2023"},{"key":"ref14","volume-title":"hex-rays","year":"2023"},{"key":"ref15","article-title":"Tie: Principled reverse engineering of types in binary programs","volume-title":"Network and Distributed System Security Symposium","author":"Lee"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00051"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1749608.1749612"},{"key":"ref18","article-title":"Tygr: Type inference on stripped binaries using graph neural networks","volume-title":"USENIX Security Symposium","author":"Zhu"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3670340"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.05.002"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3320269.3384766"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3643744"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3360563"},{"key":"ref25","volume-title":"binary-ninja","year":"2023"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-25803-9_7"},{"key":"ref27","volume-title":"Tree-sitter","year":"2024"},{"key":"ref28","volume-title":"Langchain","year":"2024"},{"key":"ref29","volume-title":"gpt-4o-mini","year":"2024"},{"key":"ref30","volume-title":"Coreutils","year":"2024"},{"key":"ref31","article-title":"Howard: A dynamic excavator for reverse engineering data structures","volume-title":"Proceedings of the Network and Distributed System Security Symposium, NDSS 2011, San Diego, California, USA, 6th February - 9th February 2011","author":"Slowinska"},{"key":"ref32","article-title":"Racing on the negative force: Efficient vulnerability root-cause analysis through reinforcement learning on counterexamples","volume-title":"33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14\u201316, 2024","author":"Xu"},{"key":"ref33","first-page":"1787","article-title":"DEEPVSA: facilitating value-set analysis with deep learning for postmortem program analysis","volume-title":"28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14\u201316, 2019","author":"Guo"},{"key":"ref34","article-title":"Automatic reverse engineering of data structures from binary execution","volume-title":"Proceedings of the Network and Distributed System Security Symposium, NDSS 2010, San Diego, California, USA, 28th February - 3rd March 2010","author":"Lin"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908119"},{"key":"ref36","article-title":"Llama: Open and efficient foundation language models","author":"Touvron","year":"2023","journal-title":"CoRR, vol. abs\/2302.13971"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639187"},{"key":"ref38","first-page":"616","article-title":"A large-scale survey on the usability of ai programming assistants: Successes and challenges","volume-title":"2024 IEEE\/ACM 46th International Conference on Software Engineering (ICSE)","author":"Liang"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i19.30185"},{"key":"ref40","article-title":"Lost at c: A user study on the security implications of large language model code assistants","volume-title":"USENIX Security Symposium","author":"Sandoval"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549101"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i4.25642"},{"key":"ref43","article-title":"Fuzzing busybox: Leveraging llm and crash reuse for embedded bug unearthing","author":"Oliinyk","year":"2024","journal-title":"ArXiv, vol. abs\/2403.03897"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598067"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-ijcnlp.32"}],"event":{"name":"2025 IEEE Symposium on Security and Privacy (SP)","location":"San Francisco, CA, USA","start":{"date-parts":[[2025,5,12]]},"end":{"date-parts":[[2025,5,15]]}},"container-title":["2025 IEEE Symposium on Security and Privacy (SP)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx8\/11023178\/11023253\/11023499.pdf?arnumber=11023499","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T04:49:01Z","timestamp":1750135741000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/11023499\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,12]]},"references-count":45,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/sp61157.2025.00193","relation":{},"subject":[],"published":{"date-parts":[[2025,5,12]]}}}