3

Uncovering Gaps Between RFC Updates and TCP/IP Implementations: LLM-Facilitated Differential Checks on Intermediate Representations
As the core of the Internet infrastructure, the TCP/IP protocol stack undertakes the task of network data transmission. However, due to …
Yifan Wu, Xuewei Feng, Yuxiang Yang, Ke Xu
PDF Cite
Uncovering Gaps Between RFC Updates and TCP/IP Implementations: LLM-Facilitated Differential Checks on Intermediate Representations