{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:58:33Z","timestamp":1782878313191,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2022YFB3104000"],"award-info":[{"award-number":["2022YFB3104000"]}]},{"name":"National Natural Science Foundation of China","award":["62022046, 92167101, U1911401, 62021002"],"award-info":[{"award-number":["62022046, 92167101, U1911401, 62021002"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3680394","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"1720-1732","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Logos: Log Guided Fuzzing for Protocol Implementations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-1363-5525","authenticated-orcid":false,"given":"Feifan","family":"Wu","sequence":"first","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6522-9269","authenticated-orcid":false,"given":"Zhengxiong","family":"Luo","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1663-8901","authenticated-orcid":false,"given":"Yanyang","family":"Zhao","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4609-6804","authenticated-orcid":false,"given":"Qingpeng","family":"Du","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-7427-5573","authenticated-orcid":false,"given":"Junze","family":"Yu","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-8920-8040","authenticated-orcid":false,"given":"Ruikang","family":"Peng","sequence":"additional","affiliation":[{"name":"Central South University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9040-7247","authenticated-orcid":false,"given":"Heyuan","family":"Shi","sequence":"additional","affiliation":[{"name":"Central South University, Changcha, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0955-503X","authenticated-orcid":false,"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Datagram transport layer security version 1.2. section 4.1.2.6: Anti-replay. https:\/\/datatracker.ietf.org\/doc\/html\/rfc6347#section-4.1.2.6","author":"RFC","year":"2012","unstructured":"RFC 6347. Datagram transport layer security version 1.2. section 4.1.2.6: Anti-replay. https:\/\/datatracker.ietf.org\/doc\/html\/rfc6347#section-4.1.2.6, 2012."},{"key":"e_1_3_2_1_2_1","first-page":"2776","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Aafer Yousra","year":"2021","unstructured":"Yousra Aafer, Wei You, Yi Sun, Yu Shi, Xiangyu Zhang, and Heng Yin. Android $SmartTVs$ vulnerability discovery via $log-guided$ fuzzing. In 30th USENIX Security Symposium (USENIX Security 21), pages 2759\u20132776, 2021."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1998.732614"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214327"},{"key":"e_1_3_2_1_5_1","volume-title":"2022 Usenix Security Symposium","author":"Ba Jinsheng","year":"2022","unstructured":"Jinsheng Ba, Marcel B\u00f6hme, Zahra Mirzamomen, and Abhik Roychoudhury. Stateful greybox fuzzing. 2022 Usenix Security Symposium, 2022."},{"key":"e_1_3_2_1_6_1","first-page":"1607","volume-title":"International conference on machine learning","author":"Chen Ting","unstructured":"Ting Chen, Simon Kornblith, Mohammad Norouzi, and Geoffrey Hinton. A simple framework for contrastive learning of visual representations. In International conference on machine learning, pages 1597\u20131607. PMLR, 2020."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338502.3359762"},{"key":"e_1_3_2_1_8_1","volume-title":"undefinedbehaviorsanitizer. https:\/\/clang.llvm.org\/docs\/UndefinedBehaviorSanitizer.html","author":"Clang","year":"2024","unstructured":"Clang. Clang 19.0.0 documentation, undefinedbehaviorsanitizer. https:\/\/clang.llvm.org\/docs\/UndefinedBehaviorSanitizer.html, 2024."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00015"},{"key":"e_1_3_2_1_10_1","unstructured":"CVE-2014-0160. Heartbleed - a vulnerability in openssl. http:\/\/heartbleed.com 2014."},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL-HLT 2019","volume":"1","author":"Devlin Jacob","year":"2019","unstructured":"Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. BERT: pre-training of deep bidirectional transformers for language understanding. In Jill Burstein, Christy Doran, and Thamar Solorio, editors, Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL-HLT 2019, Minneapolis, MN, USA, June 2-7, 2019, Volume 1 (Long and Short Papers), pages 4171\u20134186. Association for Computational Linguistics, 2019."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3122817"},{"key":"e_1_3_2_1_13_1","volume-title":"Eclipse cyclone dds project. https:\/\/github.com\/eclipse-cyclonedds\/cyclonedds","year":"2024","unstructured":"eboasson. Eclipse cyclone dds project. https:\/\/github.com\/eclipse-cyclonedds\/cyclonedds, 2024."},{"key":"e_1_3_2_1_14_1","volume-title":"Eclipse mosquitto - an open source mqtt broker. https:\/\/github.com\/eclipse\/mosquitto","year":"2023","unstructured":"eclipse. Eclipse mosquitto - an open source mqtt broker. https:\/\/github.com\/eclipse\/mosquitto, 2023."},{"key":"e_1_3_2_1_15_1","volume-title":"Gitlab protocol fuzzer community edition. https:\/\/gitlab.com\/gitlab-org\/security-products\/protocol-fuzzer-ce","author":"Eddington Michael","year":"2024","unstructured":"Michael Eddington. Gitlab protocol fuzzer community edition. https:\/\/gitlab.com\/gitlab-org\/security-products\/protocol-fuzzer-ce, 2024."},{"key":"e_1_3_2_1_16_1","volume-title":"Qemu is a generic and open source machine and userspace emulator and virtualizer. https:\/\/www.qemu.org\/","author":"Eddington Michael","year":"2024","unstructured":"Michael Eddington. Qemu is a generic and open source machine and userspace emulator and virtualizer. https:\/\/www.qemu.org\/, 2024."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484543"},{"key":"e_1_3_2_1_18_1","volume-title":"american fuzzy lop - a security-oriented fuzzer. https:\/\/github.com\/google\/AFL","year":"2015","unstructured":"Google. american fuzzy lop - a security-oriented fuzzer. https:\/\/github.com\/google\/AFL, 2015."},{"key":"e_1_3_2_1_19_1","volume-title":"https:\/\/github.com\/google\/oss-fuzz\/tree\/master\/projects\/dnsmasq","year":"2021","unstructured":"Google. OSS-Fuzz\/Gnutls. https:\/\/github.com\/google\/oss-fuzz\/tree\/master\/projects\/dnsmasq., 2021."},{"key":"e_1_3_2_1_20_1","volume-title":"https:\/\/github.com\/google\/oss-fuzz\/tree\/master\/projects\/dnsmasq","year":"2021","unstructured":"Google. OSS-Fuzz\/Libressl. https:\/\/github.com\/google\/oss-fuzz\/tree\/master\/projects\/dnsmasq., 2021."},{"key":"e_1_3_2_1_21_1","volume-title":"Boringssl is a fork of openssl that is designed to meet google\u2019s needs. https:\/\/boringssl.googlesource.com\/boringssl","year":"2024","unstructured":"Google. Boringssl is a fork of openssl that is designed to meet google\u2019s needs. https:\/\/boringssl.googlesource.com\/boringssl, 2024."},{"key":"e_1_3_2_1_22_1","volume-title":"Oss-fuzz - continuous fuzzing for open source software. https:\/\/github.com\/google\/oss-fuzz","year":"2024","unstructured":"Google. Oss-fuzz - continuous fuzzing for open source software. https:\/\/github.com\/google\/oss-fuzz, 2024."},{"key":"e_1_3_2_1_23_1","volume-title":"Haanp\u00e4\u00e4","author":"Haanp\u00e4\u00e4 Tuomas","year":"2016","unstructured":"Tuomas Haanp\u00e4\u00e4. Fuzz testing coverage measurement based on error log analysis. Master\u2019s thesis, T. Haanp\u00e4\u00e4, 2016."},{"key":"e_1_3_2_1_24_1","volume-title":"Dataflow: Toward a data-flow-guided fuzzer. ACM Trans. Softw. Eng. Methodol., 32(5), jul","author":"Herrera Adrian","year":"2023","unstructured":"Adrian Herrera, Mathias Payer, and Antony L. Hosking. Dataflow: Toward a data-flow-guided fuzzer. ACM Trans. Softw. Eng. Methodol., 32(5), jul 2023."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3586027"},{"key":"e_1_3_2_1_27_1","volume-title":"https:\/\/clang.llvm.org\/docs\/SanitizerCoverage.html#edge-coverage","author":"SanitizerCoverage LLVM.","year":"2024","unstructured":"LLVM. SanitizerCoverage. https:\/\/clang.llvm.org\/docs\/SanitizerCoverage.html#edge-coverage, 2024."},{"key":"e_1_3_2_1_28_1","first-page":"4498","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. Bleem: packet sequence oriented fuzzing for protocol implementations. In 32nd USENIX Security Symposium (USENIX Security 23), pages 4481\u20134498, 2023."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358227"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218603"},{"key":"e_1_3_2_1_31_1","volume-title":"StateAFL: Greybox fuzzing for stateful network servers. ArXiv, abs\/2110.06253","author":"Natella Roberto","year":"2021","unstructured":"Roberto Natella. StateAFL: Greybox fuzzing for stateful network servers. ArXiv, abs\/2110.06253, 2021."},{"key":"e_1_3_2_1_32_1","volume-title":"A coap (rfc 7252) implementation in c. https:\/\/github.com\/obgm\/libcoap","year":"2024","unstructured":"obgm. A coap (rfc 7252) implementation in c. https:\/\/github.com\/obgm\/libcoap, 2024."},{"key":"e_1_3_2_1_33_1","unstructured":"OpenSSL. Openssl. Website. https:\/\/github.com\/openssl\/openssl."},{"key":"e_1_3_2_1_34_1","first-page":"2306","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"\u00d6sterlund Sebastian","unstructured":"Sebastian \u00d6sterlund, Kaveh Razavi, Herbert Bos, and Cristiano Giuffrida. ParmeSan: Sanitizer-guided greybox fuzzing. In 29th USENIX Security Symposium (USENIX Security 20), pages 2289\u20132306. USENIX Association, August 2020."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3326411"},{"key":"e_1_3_2_1_36_1","volume-title":"Aflnet: A greybox fuzzer for network protocols. https:\/\/github.com\/aflnet\/aflnet","author":"Pham Thuan","year":"2024","unstructured":"Thuan Pham. Aflnet: A greybox fuzzer for network protocols. https:\/\/github.com\/aflnet\/aflnet, 2024."},{"key":"e_1_3_2_1_37_1","first-page":"465","volume-title":"2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)","author":"Pham Van-Thuan","unstructured":"Van-Thuan Pham, Marcel B\u00f6hme, and Abhik Roychoudhury. Aflnet: a greybox fuzzer for network protocols. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), pages 460\u2013465. IEEE, 2020."},{"key":"e_1_3_2_1_38_1","volume-title":"A local dns server to obtain the fastest website ip for the best internet experience, support dot, doh. https:\/\/github.com\/obgm\/libcoap","year":"2024","unstructured":"pymumu. A local dns server to obtain the fastest website ip for the best internet experience, support dot, doh. https:\/\/github.com\/obgm\/libcoap, 2024."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3492321.3519591"},{"key":"e_1_3_2_1_40_1","volume-title":"2012 USENIX Annual Technical Conference","author":"Serebryany Kostya","year":"2012","unstructured":"Kostya Serebryany, Derek Bruening, Alexander Potapenko, and Dmitriy Vyukov. AddressSanitizer: A fast address sanity checker. 2012 USENIX Annual Technical Conference, 2012."},{"key":"e_1_3_2_1_41_1","first-page":"358","volume-title":"Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles, SOSP \u201921","author":"Sun Hao","year":"2021","unstructured":"Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, and Aiguo Cui. Healer: Relation learning guided kernel fuzzing. In Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles, SOSP \u201921, page 344\u2013358, New York, NY, USA, 2021. Association for Computing Machinery."},{"key":"e_1_3_2_1_42_1","volume-title":"Dnsmasq - network services for small networks. https:\/\/thekelleys.org.uk\/dnsmasq\/doc.html","year":"2024","unstructured":"thekelleys. Dnsmasq - network services for small networks. https:\/\/thekelleys.org.uk\/dnsmasq\/doc.html, 2024."},{"key":"e_1_3_2_1_43_1","first-page":"777","volume-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering, ICSE \u201920","author":"Wen Cheng","year":"2020","unstructured":"Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, and Ting Liu. Memlock: memory usage guided fuzzing. In Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering, ICSE \u201920, page 765\u2013777, New York, NY, USA, 2020. Association for Computing Machinery."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2851237"},{"key":"e_1_3_2_1_45_1","volume-title":"Defuzz: Deep learning guided directed fuzzing. CoRR, abs\/2010.12149","author":"Zhu Xiaogang","year":"2020","unstructured":"Xiaogang Zhu, Shigang Liu, Xian Li, Sheng Wen, Jun Zhang, Seyit Ahmet \u00c7amtepe, and Yang Xiang. Defuzz: Deep learning guided directed fuzzing. CoRR, abs\/2010.12149, 2020."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3201471"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586321"}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Vienna Austria","acronym":"ISSTA '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680394","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3680394","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:09Z","timestamp":1750294689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680394"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":47,"alternative-id":["10.1145\/3650212.3680394","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3680394","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}