Fetching the paper…
Reading the bibliography…
Validating the correctness of network protocol implementations is highly challenging due to the oracle and traceability problems.
RFC 793 - Transmission Control Protocol
1981 · 1981
Earlier work this paper cites.
Modular Verification of Software Components in C. In Proceedings of the 25th International Conference on Software Engineering (ICSE ’03) . IEEE, 385–395
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, and Helmut Veith. 2003 · 2003
Earlier work this paper cites.
Automatic verification of the TLS handshake protocol. In Proceedings of the 2004 ACM Symposium on Applied Computing (SAC ’04) . ACM, 789–794
Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, and Fernando L. Pelayo. 2004 · 2004
Earlier work this paper cites.
Model Checking Large Network Protocol Implementations. In Proceedings of the 1st Conference on Symposium on Networked Systems Design and Implementation (NSDI ’24) . USENIX, 155–168
Madanlal Musuvathi and Dawson R. Engler. 2004 · 2004
Earlier work this paper cites.
Rule-Based Static Analysis of Network Protocol Implementations. In Proceedings of the 15th Conference on USENIX Security Symposium (USENIX Security ’06) . USENIX
Octavian Udrea and Cristian Lumezanu. 2006 · 2006
Earlier work this paper cites.
KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’08) . USENIX, 209–224
Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. 2008 · 2008
Earlier work this paper cites.
Z3: An efficient SMT solver. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS ’08, Vol. 4963) . Springer, 337–340
Leonardo De Moura and Nikolaj Bjørner. 2008 · 2008
Earlier work this paper cites.
SAGE: whitebox fuzzing for security testing
Patrice Godefroid, Michael Y Levin, and David Molnar. 2012 · 2012
Earlier work this paper cites.
SymCerts: Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation Implementations. In IEEE Symposium on Security and Privacy (S&P ’17) . IEEE, 503–520
Sze Yiu Chau, Omar Chowdhury, Md. Endadul Hoque, Huangyi Ge, Aniket Kate, Cristina Nita-Rotaru, and Ninghui Li. 2017 · 2017
Earlier work this paper cites.
Pinpoint: Fast and precise sparse value flow analysis for million lines of code. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’18) . ACM, 693–706
Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, and Charles Zhang. 2018 · 2018
Earlier work this paper cites.
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. In Proceedings of the 28th USENIX Conference on Security Symposium (USENIX Security ’19) , Nadia Heninger and Patrick Traynor (Eds.). USENIX, 1465–1482
Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, and Jonathan Protzenko. 2019 · 2019
Earlier work this paper cites.
DPIFuzz: a differential fuzzing framework to detect DPI elusion strategies for QUIC. In Proceedings of the 36th Annual Computer Security Applications Conference (ACSAC ’20) . ACM, 332–344
Gaganjeet Singh Reen and Christian Rossow. 2020 · 2020
Earlier work this paper cites.
everparse
Microsoft Research. 2020 · 2020
Earlier work this paper cites.
Characterising the IETF through the lens of RFC deployment. In Proceedings of the 21st ACM Internet Measurement Conference (IMC ’21) . ACM, 137–149
Stephen McQuistin, Mladen Karan, Prashant Khare, Colin Perkins, Gareth Tyson, Matthew Purver, Patrick Healey, Waleed Iqbal, Junaid Qadir, and Ignacio Castro. 2021 · 2021
Earlier work this paper cites.
Why Do Developers Remove Lambda Expressions in Java?. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE ’21) . IEEE, 67–78
Mingwei Zheng, Jun Yang, Ming Wen, Hengcheng Zhu, Yepang Liu, and Hai Jin. 2021 · 2021
Earlier work this paper cites.
CWE Top 25 Most Dangerous Software Weaknesses
MITRE. 2022 · 2022
Earlier work this paper cites.
Automating Differential Testing with Overapproximate Symbolic Execution. In 2022 15th IEEE Conference on Software Testing, Verification and Validation (ICST ’22) . IEEE, 256–266
Richard Rutledge and Alessandro Orso. 2022 · 2022
Earlier work this paper cites.
Hardening attack surfaces with formally proven binary format parsers. In 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’22) , Ranjit Jhala and Isil Dillig (Eds.). ACM, 31–45
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, and Arti Gupta. 2022 · 2022
Earlier work this paper cites.
Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models. In Proceedings of the 32nd ACM SIGSOFT international symposium on software testing and analysis (ISSTA ’23) . ACM, 423–435
Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, and Lingming Zhang. 2023 · 2023
Earlier work this paper cites.
An Empirical Study on Using Large Language Models for Multi-Intent Comment Generation
Mingyang Geng, Shangwen Wang, Dezun Dong, Haotian Wang, Ge Li, Zhi Jin, Xiaoguang Mao, and Xiangke Liao. 2023 · 2023
Cited alongside, same era.
Impact of code language models on automated program repair. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE ’23) . IEEE, 1430–1442
Nan Jiang, Kevin Liu, Thibaud Lutellier, and Lin Tan. 2023 · 2023
Cited alongside, same era.
Large language models are few-shot testers: Exploring llm-based general bug reproduction. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE ’23) . IEEE, 2312–2323
Sungmin Kang, Juyeon Yoon, and Shin Yoo. 2023 · 2023
Cited alongside, same era.
KIT: Testing OS-Level Virtualization for Functional Interference Bugs. In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 (ASPLOS ’23) . ACM, 427–441
Congyu Liu, Sishuai Gong, and Pedro Fonseca. 2023 · 2023
From a Natural to a Formal Language with DSL Assistant. In Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS ’24) . ACM, 541–549
My M. Mosthaf and Andrzej Wasowski. 2024 · 2024
Later among the works it cites.
From One Thousand Pages of Specification to Unveiling Hidden Bugs: Large Language Model Assisted Fuzzing of Matter IoT Devices. In Proceedings of the 33rd USENIX Conference on Security Symposium (USENIX Security ’24) . USENIX, 4783–4800
Xiaoyue Ma, Lannan Luo, and Qiang Zeng. 2024 · 2024
Later among the works it cites.
Large language model guided protocol fuzzing. In Proceedings of the 31st Annual Network and Distributed System Security Symposium (NDSS ’24) . The Internet Society
Ruijie Meng, Martin Mirchev, Marcel Böhme, and Abhik Roychoudhury. 2024 · 2024
Later among the works it cites.
CWE-20: Improper Input Validation
MITRE. 2024 · 2024
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS ’23) . ACM, 1287–1301
Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, and Xiangyu Zhang. 2023 · 2023
Cited alongside, same era.
An Empirical Study of Deep Learning Models for Vulnerability Detection. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE ’23) . IEEE, 2237–2248
Benjamin Steenhoek, Md Mahbubur Rahman, Richard Jiles, and Wei Le. 2023 · 2023
Cited alongside, same era.
How Effective Are Neural Networks for Fixing Security Vulnerabilities. In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA ’23) . ACM, 1282–1294
Yi Wu, Nan Jiang, Hung Viet Pham, Thibaud Lutellier, Jordan Davis, Lin Tan, Petr Babkin, and Sameena Shah. 2023 · 2023
Cited alongside, same era.
Impact of Large Language Models on Generating Software Specifications
Danning Xie, Byungwoo Yoo, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, and Judy S Lee. 2023 · 2023
Cited alongside, same era.
Go Networking
2024 · 2024
Cited alongside, same era.
IETF DataTracker
2024 · 2024
Cited alongside, same era.
Impacket
2024 · 2024
Cited alongside, same era.
Internet Standard
2024 · 2024
Cited alongside, same era.
Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang, Xiaofei Ma, Murali Krishna Ramanathan, and Baishakhi Ray. 2024 · 2024
Later among the works it cites.
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization
Chengpeng Wang, Jipeng Zhang, Rongxin Wu, and Charles Zhang. 2024d · 2024
Later among the works it cites.
LLMDFA: Analyzing Dataflow in Code with Large Language Models. In Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems (NeurIPS ’24) , Amir Globersons, Lester Mackey, Danielle Belgrave, Angela Fan, Ulrich Paquet, Jakub M. Tomczak, and Cheng Zhang (Eds.)
Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, and Xiangyu Zhang. 2024c · 2024
Later among the works it cites.
Sanitizing Large Language Models in Bug Detection with Data-Flow. In Findings of the Association for Computational Linguistics (EMNLP ’24) . Association for Computational Linguistics, 3790–3805
Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, and Xiangyu Zhang. 2024b · 2024
Later among the works it cites.
LLMIF: Augmented Large Language Model for Fuzzing IoT Devices. In 2024 IEEE Symposium on Security and Privacy (S&P ’24) . IEEE, 881–896
Jincheng Wang, Le Yu, and Xiapu Luo. 2024a · 2024
Later among the works it cites.
Enchanting program specification synthesis by large language models using static analysis and program verification. In International Conference on Computer Aided Verification (CAV ’24) . Springer, 302–328
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, and Cong Tian. 2024 · 2024
Later among the works it cites.
Fuzz4All: Universal Fuzzing with Large Language Models. In Proceedings of the IEEE/ACM 46th International Conference on Software Engineering (ICSE ’24) . ACM, Article 126, 13 pages
Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, and Lingming Zhang. 2024 · 2024
Later among the works it cites.
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, and Lingming Zhang. 2024 · 2024
Later among the works it cites.
Autocoderover: Autonomous program improvement. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA ’24) . ACM, 1592–1604
Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, and Abhik Roychoudhury. 2024 · 2024
Later among the works it cites.
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers. In Proc. ACM Program. Lang. (OOPSLA ’24) . ACM, 1208–1234
Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, and Xiangyu Zhang. 2024 · 2024
Later among the works it cites.
DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence
Qihao Zhu, Daya Guo, Zhihong Shao, Dejian Yang, Peiyi Wang, Runxin Xu, Y Wu, Yukun Li, Huazuo Gao, Shirong Ma, et al · 2024
Later among the works it cites.
RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
Jinyao Guo, Chengpeng Wang, Xiangzhe Xu, Zian Su, and Xiangyu Zhang. 2025 · 2025
Closest in time.
The Hitchhiker’s Guide to Program Analysis, Part II: Deep Thoughts by LLMs
Haonan Li, Hang Zhang, Kexin Pei, and Zhiyun Qian. 2025 · 2025
Closest in time.
ChatHTTPFuzz: large language model-assisted IoT HTTP fuzzing
Zhe Yang, Hao Peng, Yanling Jiang, Xingwei Li, Haohua Du, Shuhai Wang, and Jianwei Liu. 2025 · 2025
Closest in time.