{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T22:32:38Z","timestamp":1766442758538,"version":"3.48.0"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","funder":[{"name":"The National Natural Science Foundation of China","award":["No. 62232001, No. 62032010, No. 62202220"],"award-info":[{"award-number":["No. 62232001, No. 62032010, No. 62202220"]}]},{"name":"Collaborative Innovation Center of Novel Software Technology and Industrialization"},{"name":"China Postdoctoral Science Foundation","award":["No.2024M761397"],"award-info":[{"award-number":["No.2024M761397"]}]},{"name":"The Fundamental Research Funds for the Central Universities","award":["No. 2024300364"],"award-info":[{"award-number":["No. 2024300364"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,19]]},"DOI":"10.1145\/3719027.3765089","type":"proceedings-article","created":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T23:42:02Z","timestamp":1763854922000},"page":"3386-3400","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Recover Function Signature from Combined Constraints"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-8957-4469","authenticated-orcid":false,"given":"Haohui","family":"Huang","sequence":"first","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, School of Computer Science, Nanjing, Jiangsu, China, Nanjing University, Nanjing, Jiangsu, China, and QianXin Group, Nanjing, Jiangsu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3065-0165","authenticated-orcid":false,"given":"Yue","family":"Liu","sequence":"additional","affiliation":[{"name":"Southeast University, Nanjing, Jiangsu, China and QianXin Group, Nanjing, Jiangsu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0998-0630","authenticated-orcid":false,"given":"Yuxi","family":"Cheng","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, Jiangsu, China and QianXin Group, Nanjing, Jiangsu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-0248-941X","authenticated-orcid":false,"given":"Haiyang","family":"Wei","sequence":"additional","affiliation":[{"name":"NanJing University, Nanjing, Jiangsu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-2223-1918","authenticated-orcid":false,"given":"Jiamu","family":"Liu","sequence":"additional","affiliation":[{"name":"QianXin Group, Nanjing, Jiangsu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7216-6929","authenticated-orcid":false,"given":"Yu","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, School of Computer Science, Nanjing, Jiangsu, China and NanJing University, Nanjing, Jiangsu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4794-1652","authenticated-orcid":false,"given":"Linzhang","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, School of Computer Science, Nanjing, Jiangsu, China and Nanjing University, Nanjing, Jiangsu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,11,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1609956.1609960"},{"key":"e_1_3_2_1_2_1","volume-title":"Ghidra: A software reverse engineering framework. https:\/\/ghidra-sre.org Accessed: 2025-01-22.","author":"National Security Agency.","year":"2019","unstructured":"National Security Agency. 2019. Ghidra: A software reverse engineering framework. https:\/\/ghidra-sre.org Accessed: 2025-01-22."},{"key":"e_1_3_2_1_3_1","first-page":"1","article-title":"pgmpy: A Python Toolkit for Bayesian Networks","volume":"25","author":"Ankan Ankur","year":"2024","unstructured":"Ankur Ankan and Johannes Textor. 2024. pgmpy: A Python Toolkit for Bayesian Networks. Journal of Machine Learning Research, Vol. 25, 265 (2024), 1-8.","journal-title":"Journal of Machine Learning Research"},{"key":"e_1_3_2_1_4_1","unstructured":"Max Brunsfeld and Contributors. 2025. Tree-sitter. https:\/\/github.com\/tree-sitter\/tree-sitter Accessed: 2025-03-22."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN48063.2020.00028"},{"key":"e_1_3_2_1_6_1","first-page":"4327","volume-title":"Augmenting Decompiler Output with Learned Variable Names and Types. In 31st USENIX Security Symposium (USENIX Security 22)","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 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 4327-4343."},{"key":"e_1_3_2_1_7_1","first-page":"99","volume-title":"Neural Nets Can Learn Function Type Signatures From Binaries. In 26th USENIX Security Symposium (USENIX Security 17)","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 26th USENIX Security Symposium (USENIX Security 17). USENIX Association, Vancouver, BC, 99-116."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3652156"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464804"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336773"},{"key":"e_1_3_2_1_11_1","volume-title":"Decompiler Internals: Microcode. https:\/\/i.blackhat.com\/us-18\/Thu-August-9\/us-18-Guilfanov-Decompiler-Internals-Microcode-wp.pdf. Accessed: 2025-2-11.","author":"Guilfanov Ilfak","year":"2018","unstructured":"Ilfak Guilfanov. 2018. Decompiler Internals: Microcode. https:\/\/i.blackhat.com\/us-18\/Thu-August-9\/us-18-Guilfanov-Decompiler-Internals-Microcode-wp.pdf. Accessed: 2025-2-11."},{"key":"e_1_3_2_1_12_1","volume-title":"QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries. In 2023 IEEE Symposium on Security and Privacy (SP). IEEE, 3279-312795","author":"Han HyungSeok","year":"2023","unstructured":"HyungSeok Han, JeongOh Kyea, Yonghwi Jin, Jinoh Kang, Brian Pak, and Insu Yun. 2023. QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries. In 2023 IEEE Symposium on Security and Privacy (SP). IEEE, 3279-312795."},{"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","unstructured":"Hex-Rays. 2023. IDA Pro: Interactive Disassembler. https:\/\/www.hex-rays.com\/products\/ida\/ Accessed: 2025-01-22."},{"key":"e_1_3_2_1_15_1","unstructured":"Huzecong. 2021. ghcc: GitHub Cloner & Compiler. https:\/\/github.com\/huzecong\/ghcc Accessed: 2025-07-02."},{"key":"e_1_3_2_1_16_1","unstructured":"Intel. n.d.. MPX Linux 64 ABI Documentation. https:\/\/software.intel.com\/sites\/default\/files\/article\/402129\/mpx-linux64-abi.pdf Accessed: 2025-02-11."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560612"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616366"},{"volume-title":"Probabilistic graphical models: principles and techniques","author":"Koller Daphne","key":"e_1_3_2_1_19_1","unstructured":"Daphne Koller and Nir Friedman. 2009. Probabilistic graphical models: principles and techniques. MIT press."},{"key":"e_1_3_2_1_20_1","unstructured":"Joxean Koret. 2025. Diaphora. https:\/\/github.com\/joxeankoret\/diaphora Accessed: 2025-01-22."},{"key":"e_1_3_2_1_21_1","first-page":"2510","article-title":"A Factor Graph Model for Software Bug Finding","author":"Kremenek Ted","year":"2007","unstructured":"Ted Kremenek, Andrew Y Ng, and Dawson R Engler. 2007. A Factor Graph Model for Software Bug Finding.. In IJCAI. Citeseer, 2510-2516.","journal-title":"IJCAI. Citeseer"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00064"},{"key":"e_1_3_2_1_23_1","volume-title":"TIE: Principled reverse engineering of types in binary programs.","author":"Lee JongHyup","year":"2011","unstructured":"JongHyup Lee, Thanassis Avgerinos, and David Brumley. 2011. TIE: Principled reverse engineering of types in binary programs. (2011)."},{"key":"e_1_3_2_1_24_1","volume-title":"When Function Signature Recovery Meets Compiler Optimization. In 2021 IEEE Symposium on Security and Privacy (SP). 36-52","author":"Lin Yan","year":"2021","unstructured":"Yan Lin and Debin Gao. 2021. When Function Signature Recovery Meets Compiler Optimization. In 2021 IEEE Symposium on Security and Privacy (SP). 36-52."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3508398.3511502"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2788959.2788964"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/2788959.2788964"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542485"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2004.1267047"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2007.896497"},{"key":"e_1_3_2_1_31_1","unstructured":"Evan Martin. 2011. Ninja Build System. https:\/\/ninja-build.org Accessed: 2025-01-22."},{"key":"e_1_3_2_1_32_1","volume-title":"Advances in Neural Information Processing Systems","volume":"22","author":"McCallum Andrew","year":"2009","unstructured":"Andrew McCallum, Karl Schultz, and Sameer Singh. 2009. Factorie: Probabilistic programming via imperatively defined factor graphs. Advances in Neural Information Processing Systems, Vol. 22 (2009)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00121"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00470-5_20"},{"key":"e_1_3_2_1_35_1","volume-title":"Loopy belief propagation for approximate inference: An empirical study. arXiv preprint arXiv:1301.6725","author":"Murphy Kevin","year":"2013","unstructured":"Kevin Murphy, Yair Weiss, and Michael I Jordan. 2013. Loopy belief propagation for approximate inference: An empirical study. arXiv preprint arXiv:1301.6725 (2013)."},{"key":"e_1_3_2_1_36_1","volume-title":"Direct: A transformer-based model for decompiled variable name recov-ery. NLP4Prog 2021","author":"Nitin Vikram","year":"2021","unstructured":"Vikram Nitin, Anthony Saieva, Baishakhi Ray, and Gail Kaiser. 2021. Direct: A transformer-based model for decompiled variable name recov-ery. NLP4Prog 2021 (2021), 48."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00152"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00012"},{"key":"e_1_3_2_1_39_1","first-page":"2479","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Pang Chengbin","year":"2022","unstructured":"Chengbin Pang, Tiantai Zhang, Ruotong Yu, Bing Mao, and Jun Xu. 2022. Ground Truth for Binary Disassembly is Not Easy. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 2479-2495."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179439"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468607"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690307"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS57517.2022.00053"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_45_1","volume-title":"llasm: Naming Functions in Binaries by Fusing Encoder-only and Decoder-only LLMs. ACM Transactions on Software Engineering and Methodology","author":"Sha Zihan","year":"2024","unstructured":"Zihan Sha, Hao Wang, Zeyu Gao, Hui Shu, Bolun Zhang, Ziqing Wang, and Chao Zhang. 2024. llasm: Naming Functions in Binaries by Fusing Encoder-only and Decoder-only LLMs. ACM Transactions on Software Engineering and Methodology (2024)."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_1_47_1","volume-title":"Howard: A Dynamic Excavator for Reverse Engineering Data Structures.. In 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 NDSS."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695502"},{"key":"e_1_3_2_1_49_1","volume-title":"Decompile-Bench: Million-Scale Binary-Source Function Pairs for Real-World Binary Decompilation. arXiv preprint arXiv:2505.12668","author":"Tan Hanzhuo","year":"2025","unstructured":"Hanzhuo Tan, Xiaolong Tian, Hanrui Qi, Jiaming Liu, Zuchen Gao, Siyi Wang, Qi Luo, Jing Li, and Yuqun Zhang. 2025. Decompile-Bench: Million-Scale Binary-Source Function Pairs for Real-World Binary Decompilation. arXiv preprint arXiv:2505.12668 (2025)."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.60"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3670340"},{"key":"e_1_3_2_1_52_1","unstructured":"Xiangzhe Xu Zhuo Zhang Zian Su Ziyang Huang Shiwei Feng Yapeng Ye Nan Jiang Danning Xie Siyuan Cheng Lin Tan and Xiangyu Zhang. 2024. Symbol Preference Aware Generative Models for Recovering Variable Names from Stripped Binary. arXiv:2306.02546 [cs.SE]"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2884143"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950343"},{"key":"e_1_3_2_1_55_1","volume-title":"Generalized belief propagation. Advances in neural information processing systems","author":"Yedidia Jonathan S","year":"2000","unstructured":"Jonathan S Yedidia, William Freeman, and Yair Weiss. 2000. Generalized belief propagation. Advances in neural information processing systems, Vol. 13 (2000)."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP58684.2023.00031"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3660782"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00051"},{"key":"e_1_3_2_1_59_1","first-page":"4283","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","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, Mayur Naik, Yan Shoshitaishvili, Ruoyu Wang, and Aravind Machiry. 2024. TYGR: Type Inference on Stripped Binaries using Graph Neural Networks. In 33rd USENIX Security Symposium (USENIX Security 24). USENIX Association, Philadelphia, PA, 4283-4300."}],"event":{"name":"CCS '25: ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Taipei Taiwan","acronym":"CCS '25"},"container-title":["Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3719027.3765089","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T22:30:56Z","timestamp":1766442656000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3719027.3765089"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,19]]},"references-count":59,"alternative-id":["10.1145\/3719027.3765089","10.1145\/3719027"],"URL":"https:\/\/doi.org\/10.1145\/3719027.3765089","relation":{},"subject":[],"published":{"date-parts":[[2025,11,19]]},"assertion":[{"value":"2025-11-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}