{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T02:07:28Z","timestamp":1778724448546,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","funder":[{"name":"The national key research and development program of china","award":["2023YFB3107100"],"award-info":[{"award-number":["2023YFB3107100"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,13]]},"DOI":"10.1145\/3774904.3792541","type":"proceedings-article","created":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T21:54:39Z","timestamp":1775771679000},"page":"3251-3262","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["SemFuzz: A Semantics-Aware Fuzzing Framework for Network Protocol Implementations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-6047-1554","authenticated-orcid":false,"given":"Yanbang","family":"Sun","sequence":"first","affiliation":[{"name":"Tianjin University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-7208-9338","authenticated-orcid":false,"given":"Quan","family":"Luo","sequence":"additional","affiliation":[{"name":"QI-ANXIN Codesafe Team, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-2980-0220","authenticated-orcid":false,"given":"Yuelin","family":"Wang","sequence":"additional","affiliation":[{"name":"Tianjin University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4832-3298","authenticated-orcid":false,"given":"Qian","family":"Chen","sequence":"additional","affiliation":[{"name":"QI-ANXIN Codesafe Team, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-7883-6332","authenticated-orcid":false,"given":"Benjin","family":"Liu","sequence":"additional","affiliation":[{"name":"QI-ANXIN Codesafe Team, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-7035-5501","authenticated-orcid":false,"given":"Ruiqi","family":"Chen","sequence":"additional","affiliation":[{"name":"QI-ANXIN Codesafe Team, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8877-4267","authenticated-orcid":false,"given":"Qing","family":"Huang","sequence":"additional","affiliation":[{"name":"Jiangxi Normal University, Nanchang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0752-6764","authenticated-orcid":false,"given":"Xiaohong","family":"Li","sequence":"additional","affiliation":[{"name":"Tianjin University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-3847-6760","authenticated-orcid":false,"given":"Junjie","family":"Wang","sequence":"additional","affiliation":[{"name":"Tianjin University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"4445","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"Ishtiaq Abdullah Al","year":"2024","unstructured":"Abdullah Al Ishtiaq, Sarkar Snigdha Sarathi Das, Syed Md Mukit Rashid, Ali Ranjbar, Kai Tu, Tianwei Wu, Zhezheng Song, Weixuan Wang, Mujtahid Akon, Rui Zhang, et al., 2024. Hermes: Unlocking security analysis of cellular network protocols by synthesizing finite state machines from natural language specifications. In 33rd USENIX Security Symposium (USENIX Security 24). 4445-4462."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534376"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Roy Arends Rob Austein Matt Larson Dan Massey and Scott Rose. 2005. Protocol modifications for the DNS security extensions.","DOI":"10.17487\/rfc4035"},{"key":"e_1_3_2_1_4_1","first-page":"3255","volume-title":"Stateful Greybox Fuzzing. In 31st USENIX Security Symposium (USENIX Security 22)","author":"Ba Jinsheng","year":"2022","unstructured":"Jinsheng Ba, Marcel B\u00f6hme, Zahra Mirzamomen, and Abhik Roychoudhury. 2022. Stateful Greybox Fuzzing. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 3255-3272. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/ba"},{"key":"e_1_3_2_1_5_1","first-page":"1847","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Bars Nils","year":"2023","unstructured":"Nils Bars, Moritz Schloegel, Tobias Scharnowski, Nico Schiller, and Thorsten Holz. 2023. Fuzztruction: Using Fault Injection-based Fuzzing to Leverage Implicit Domain Knowledge. In 32nd USENIX Security Symposium (USENIX Security 23). USENIX Association, Anaheim, CA, 1847-1864. https:\/\/www.usenix.org\/conference\/usenixsecurity23\/presentation\/bars"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180226"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3607199.3607222"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER53432.2022.00081"},{"key":"e_1_3_2_1_9_1","unstructured":"Microsoft Corporation. 2020. Bad Neighbor. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2020-16898."},{"key":"e_1_3_2_1_10_1","unstructured":"Google DeepMind. 2024. Gemini 1.5 Pro. https:\/\/blog.google\/technology\/ai\/google-gemini-next-generation-model-february-2024\/."},{"key":"e_1_3_2_1_11_1","unstructured":"Google DeepMind. 2025. Gemini 2.5 Pro. https:\/\/deepmind.google\/models\/gemini\/pro\/."},{"key":"e_1_3_2_1_12_1","unstructured":"Michael Eddington. 2020. Peach. https:\/\/peachtech.gitlab.io\/peach-fuzzer-community\/."},{"key":"e_1_3_2_1_13_1","unstructured":"Kaiwen Shen et al. 2022. Code Package of Hdiff. https:\/\/github.com\/mo-xiaoxi\/HDiff."},{"key":"e_1_3_2_1_14_1","volume-title":"Fielding et al","author":"Roy","year":"2014","unstructured":"Roy T. Fielding et al., 2014. Hypertext Transfer Protocol (HTTP\/1.1): Message Syntax and Routing. https:\/\/datatracker.ietf.org\/doc\/html\/rfc7230."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484543"},{"key":"e_1_3_2_1_16_1","unstructured":"Ivan Fratric. 2016. NETAFL. https:\/\/github.com\/intelpt\/winafl-intelpt."},{"key":"e_1_3_2_1_17_1","first-page":"1025","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Garbelini Matheus E.","year":"2022","unstructured":"Matheus E. Garbelini, Vaibhav Bedi, Sudipta Chattopadhyay, Sumei Sun, and Ernest Kurniawan. 2022. BrakTooth: Causing Havoc on Bluetooth Link Manager via Directed Fuzzing. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 1025-1042. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/garbelini"},{"key":"e_1_3_2_1_18_1","unstructured":"Ben Hawkes. 2022. 0day In the Wild. https:\/\/googleprojectzero.blogspot.com\/p\/0day.html."},{"key":"e_1_3_2_1_19_1","first-page":"307","volume-title":"SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)","author":"Reddy Kakarla Siva Kesava","year":"2022","unstructured":"Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, and George Varghese. 2022. SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). USENIX Association, 307-323."},{"key":"e_1_3_2_1_20_1","first-page":"6259","volume-title":"34th USENIX Security Symposium (USENIX Security 25)","author":"Kao Wei-Che","year":"2025","unstructured":"Wei-Che Kao, Yen-Chia Chen, Yu-Sheng Lin, Yu-Cheng Yang, Chi-Yu Li, and Chun-Ying Huang. 2025. : A Stateful Simulation-based Fuzzing Framework for Bluetooth Low Energy Protocol Stacks. In 34th USENIX Security Symposium (USENIX Security 25). 6259-6278."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Stephen Kent and Karen Seo. 2005. Security architecture for the internet protocol.","DOI":"10.17487\/rfc4301"},{"key":"e_1_3_2_1_22_1","first-page":"4481","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Luo Zhengxiong","year":"2023","unstructured":"Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury, and Jiaguang Sun. 2023. Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations. https:\/\/www.usenix.org\/conference\/usenixsecurity23\/presentation\/luo-zhengxiong. In 32nd USENIX Security Symposium (USENIX Security 23). USENIX Association, Anaheim, CA, 4481-4498."},{"key":"e_1_3_2_1_23_1","first-page":"4783","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"Ma Xiaoyue","year":"2024","unstructured":"Xiaoyue Ma, Lannan Luo, and Qiang Zeng. 2024. From One Thousand Pages of Specification to Unveiling Hidden Bugs: Large Language Model Assisted Fuzzing of Matter Devices. In 33rd USENIX Security Symposium (USENIX Security 24). 4783-4800."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2024.24556"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10233-3"},{"key":"e_1_3_2_1_26_1","unstructured":"OpenAI. 2023. GPT-4o. https:\/\/openai.com\/index\/hello-gpt-4o\/."},{"key":"e_1_3_2_1_27_1","unstructured":"OpenAI. 2025. GPT-5. https:\/\/openai.com\/index\/introducing-gpt-5\/."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833673"},{"key":"e_1_3_2_1_29_1","unstructured":"Joshua Pereyda. [n.d.]. boofuzz: Network Protocol Fuzzing for Humans. https:\/\/boofuzz.readthedocs.io\/en\/stable\/index.html."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00062"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00062"},{"key":"e_1_3_2_1_32_1","unstructured":"TLSFuzzer Project. 2025. TLSFuzzer. https:\/\/github.com\/tlsfuzzer\/tlsfuzzer."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416552"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Eric Rescorla. 2018. The transport layer security (TLS) protocol version 1.3. https:\/\/www.rfc-editor.org\/rfc\/rfc8446.","DOI":"10.17487\/RFC8446"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3492321.3519591"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN53405.2022.00014"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3355048"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00211"},{"key":"e_1_3_2_1_39_1","unstructured":"Wireshark Project. 2025. Wireshark. https:\/\/www.wireshark.org\/about.html."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3696788","article-title":"A survey of protocol fuzzing","volume":"57","author":"Zhang Xiaohan","year":"2024","unstructured":"Xiaohan Zhang, Cen Zhang, Xinghua Li, Zhengjie Du, Bing Mao, Yuekang Li, Yaowen Zheng, Yeting Li, Li Pan, Yang Liu, et al., 2024. A survey of protocol fuzzing. Comput. Surveys, Vol. 57, 2 (2024), 1-36.","journal-title":"Comput. Surveys"},{"key":"e_1_3_2_1_41_1","first-page":"489","volume-title":"2021 USENIX Annual Technical Conference (USENIX ATC 21)","author":"Zou Yong-Hao","year":"2021","unstructured":"Yong-Hao Zou, Jia-Ju Bai, Jielong Zhou, Jianfeng Tan, Chenggang Qin, and Shi-Min Hu. 2021. : Detecting memory and semantic bugs in stacks with fuzzing. In 2021 USENIX Annual Technical Conference (USENIX ATC 21). 489-502."}],"event":{"name":"WWW '26: The ACM Web Conference 2026","location":"Dubai United Arab Emirates","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"]},"container-title":["Proceedings of the ACM Web Conference 2026"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3774904.3792541","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T01:07:21Z","timestamp":1778720841000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3774904.3792541"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":41,"alternative-id":["10.1145\/3774904.3792541","10.1145\/3774904"],"URL":"https:\/\/doi.org\/10.1145\/3774904.3792541","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}