{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T17:06:59Z","timestamp":1784653619506,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"National Research Foundation, Singapore","award":["NCR25-DeSCEmT-SMU"],"award-info":[{"award-number":["NCR25-DeSCEmT-SMU"]}]},{"name":"Cyber Security Agency of Singapore","award":["NCR25-DeSCEmT-SMU"],"award-info":[{"award-number":["NCR25-DeSCEmT-SMU"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3793655.3793740","type":"proceedings-article","created":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T16:04:46Z","timestamp":1784649886000},"page":"110-115","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9256-6930","authenticated-orcid":false,"given":"Chengyan","family":"Ma","sequence":"first","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0799-5018","authenticated-orcid":false,"given":"Jieke","family":"Shi","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6859-6005","authenticated-orcid":false,"given":"Ruidong","family":"Han","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6709-3721","authenticated-orcid":false,"given":"Ye","family":"Liu","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-6794-4970","authenticated-orcid":false,"given":"Yuqing","family":"Niu","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4367-7201","authenticated-orcid":false,"given":"David","family":"Lo","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,21]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"crossref","unstructured":"Waqas Ahmed Aamir Rasool Abdul\u00a0Rehman Javed Neeraj Kumar Thippa\u00a0Reddy Gadekallu Zunera Jalil and Natalia Kryvinska. 2021. Security in Next Generation Mobile Payment Systems: A Comprehensive Survey. IEEE Access 9 (2021) 115932\u2013115950.","DOI":"10.1109\/ACCESS.2021.3105450"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"Sunil Anasuri. 2023. Confidential Computing Using Trusted Execution Environments. International Journal of AI BigData Computational and Management\u00a0Studies 4 2 (Jun. 2023) 97\u2013110.","DOI":"10.63282\/3050-9416.IJAIBDCMS-V4I2P111"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2012.255"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"crossref","unstructured":"Roberto Baldoni Emilio Coppa Daniele\u00a0Cono D\u2019elia Camil Demetrescu and Irene Finocchi. 2018. A Survey of Symbolic Execution Techniques. ACM Comput. Surv. 51 3 Article 50 (May 2018) 39\u00a0pages.","DOI":"10.1145\/3182657"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.5555\/1247360.1247401"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179302"},{"key":"e_1_3_3_2_8_2","series-title":"(OSDI\u201908)","first-page":"209","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (San Diego, California) (OSDI\u201908). USENIX Association, USA, 209\u2013224."},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00061"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2024.24819"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"crossref","unstructured":"Vitaly Chipounov Volodymyr Kuznetsov and George Candea. 2012. The S2E Platform: Design Implementation and Applications. ACM Trans. Comput. Syst. 30 1 Article 2 (Feb. 2012) 49\u00a0pages.","DOI":"10.1145\/2110356.2110358"},{"key":"e_1_3_3_2_12_2","unstructured":"Intel Corporation. 2025. Intel\u00ae Software Guard Extensions (Intel\u00ae SGX). https:\/\/www.intel.com\/content\/www\/us\/en\/products\/docs\/accelerator-engines\/software-guard-extensions.html. [Accessed 05-11-2025]."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"crossref","unstructured":"Leonardo De\u00a0Moura and Nikolaj Bj\u00f8rner. 2011. Satisfiability modulo theories: introduction and applications. Commun. ACM 54 9 (Sept. 2011) 69\u201377.","DOI":"10.1145\/1995376.1995394"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/GCWkshps50303.2020.9367444"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","unstructured":"Guoyun Duan Yuanzhi Fu Boyang Zhang Peiyao Deng Jianhua Sun Hao Chen and Zhiwen Chen. 2023. TEEFuzzer: A fuzzing framework for trusted execution environments with heuristic seed mutation. Future Gener. Comput. Syst. 144 (2023) 192\u2013204.","DOI":"10.1016\/j.future.2023.03.008"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3613905.3650764"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"crossref","unstructured":"Shufan Fei Zheng Yan Wenxiu Ding and Haomeng Xie. 2021. Security Vulnerabilities of SGX and Countermeasures: A Survey. ACM Comput. Surv. 54 6 Article 126 (July 2021) 36\u00a0pages.","DOI":"10.1145\/3456631"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3407023.3407072"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3674805.3686685"},{"key":"e_1_3_3_2_20_2","first-page":"789","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Harrison Lee","year":"2020","unstructured":"Lee Harrison, Hayawardh Vijayakumar, Rohan Padhye, Koushik Sen, and Michael Grace. 2020. PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation. In 29th USENIX Security Symposium (USENIX Security 20). USENIX Association, 789\u2013806."},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"crossref","unstructured":"Junda He Christoph Treude and David Lo. 2025. LLM-Based Multi-Agent Systems for Software Engineering: Literature Review Vision and the Road Ahead. ACM Trans. Softw. Eng. Methodol. 34 5 Article 124 (May 2025) 30\u00a0pages.","DOI":"10.1145\/3712003"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","unstructured":"Patrick Jauernig Ahmad-Reza Sadeghi and Emmanuel Stapf. 2020. Trusted Execution Environments: Properties Applications and Challenges. IEEE Security & Privacy 18 2 (2020) 56\u201360.","DOI":"10.1109\/MSEC.2019.2947124"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378486"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3313808.3313810"},{"key":"e_1_3_3_2_25_2","unstructured":"Xiaoguo Li Bowen Zhao Guomin Yang Tao Xiang Jian Weng and Robert\u00a0H. Deng. 2023. A Survey of Secure Computation Using Trusted Execution Environments. arxiv:https:\/\/arXiv.org\/abs\/2302.12150\u00a0[cs.CR] https:\/\/arxiv.org\/abs\/2302.12150"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-FoSE59343.2023.00010"},{"key":"e_1_3_3_2_27_2","unstructured":"Chengyan Ma Ruidong Han Jieke Shi Ye Liu Yuqing Niu Di Lu Chuang Tian Jianfeng Ma Debin Gao and David Lo. 2025. DITING: A Static Analyzer for Identifying Bad Partitioning Issues in TEE Applications. arxiv:https:\/\/arXiv.org\/abs\/2502.15281\u00a0[cs.CR] https:\/\/arxiv.org\/abs\/2502.15281"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"crossref","unstructured":"Sanoop Mallissery and Yu-Sung Wu. 2023. Demystify the Fuzzing Methods: A Comprehensive Survey. ACM Comput. Surv. 56 3 Article 71 (Oct. 2023) 38\u00a0pages.","DOI":"10.1145\/3623375"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"crossref","unstructured":"Ruijie Meng Van-Thuan Pham Marcel B\u00f6hme and Abhik Roychoudhury. 2025. AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing. IEEE Transactions on Software Engineering 51 4 (2025) 960\u2013974.","DOI":"10.1109\/TSE.2025.3535925"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"crossref","unstructured":"Zahra Mousavi Chadni Islam Muhammad\u00a0Ali Babar Alsharif Abuadbba and Kristen Moore. 2025. Detecting Misuse of Security APIs: A Systematic Review. ACM Comput. Surv. 57 12 Article 303 (July 2025) 39\u00a0pages.","DOI":"10.1145\/3735968"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884790"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"crossref","unstructured":"Olivier Nourry Yutaro Kashiwa Bin Lin Gabriele Bavota Michele Lanza and Yasutaka Kamei. 2023. The Human Side of Fuzzing: Challenges Faced by Developers during Fuzzing Activities. ACM Trans. Softw. Eng. Methodol. 33 1 Article 14 (Nov. 2023) 26\u00a0pages.","DOI":"10.1145\/3611668"},{"key":"e_1_3_3_2_33_2","unstructured":"Arm\u00a0Limited (or\u00a0its affiliates). 2025. ARM TrustZone Technology. https:\/\/developer.arm.com\/documentation\/100690\/0200\/ARM-TrustZone-technology. [Accessed 05-11-2025]."},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/Trustcom.2015.357"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"crossref","unstructured":"Jieke Shi Zhou Yang and David Lo. 2025. Efficient and Green Large Language Models for Software Engineering: Literature Review Vision and the Road Ahead. ACM Trans. Softw. Eng. Methodol. 34 5 Article 137 (May 2025) 22\u00a0pages.","DOI":"10.1145\/3708525"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45871-7_9"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"crossref","unstructured":"Joobeom Yun Fayozbek Rustamov Juhwan Kim and Youngjoo Shin. 2022. Fuzzing of Embedded Systems: A Survey. ACM Comput. Surv. 55 7 Article 137 (Dec. 2022) 33\u00a0pages.","DOI":"10.1145\/3538644"}],"event":{"name":"FORGE '26: IEEE\/ACM Third International Conference on AI Foundation Models and Software Engineering","location":"Rio de Janeiro , Brazil","acronym":"FORGE '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2026 IEEE\/ACM Third International Conference on AI Foundation Models and Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3793655.3793740","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T16:48:32Z","timestamp":1784652512000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3793655.3793740"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":37,"alternative-id":["10.1145\/3793655.3793740","10.1145\/3793655"],"URL":"https:\/\/doi.org\/10.1145\/3793655.3793740","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}