Cover Image

Uncovering Gaps Between RFC Updates and TCP/IP Implementations: LLM-Facilitated Differential Checks on Intermediate Representations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wu, Yifan, Feng, Xuewei, Yang, Yuxiang, Xu, Ke
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Networking and Internet Architecture
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Off-Path TCP Hijacking in Wi-Fi Networks: A Packet-Size Side Channel Attack
by: Wang, Ziqiang, et al.
Published: (2024)

ReDAN: An Empirical Study on Remote DoS Attacks against NAT Networks
by: Feng, Xuewei, et al.
Published: (2024)

AFL-ICP: Enhancing Industrial Control Protocol Reliability via Specification-Guided Fuzzing
by: Meng, Jiaying, et al.
Published: (2026)

Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions
by: Duclos, Martin, et al.
Published: (2024)

A technical solution for the rule of law, peace, security, and evolvability of global cyberspace -- solve the three genetic defects of IP network
by: Li, Hui, et al.
Published: (2024)

The HTTP Garden: Discovering Parsing Vulnerabilities in HTTP/1.1 Implementations by Differential Fuzzing of Request Streams
by: Kallus, Ben, et al.
Published: (2024)

Why E.T. Can't Phone Home: A Global View on IP-based Geoblocking at VoWiFi
by: Gegenhuber, Gabriel Karl, et al.
Published: (2024)

SISSA: Real-time Monitoring of Hardware Functional Safety and Cybersecurity with In-vehicle SOME/IP Ethernet Traffic
by: Liu, Qi, et al.
Published: (2024)

Don't Get Hijacked: Prevalence, Mitigation, and Impact of Non-Secure DNS Dynamic Updates
by: Nosyk, Yevheniya, et al.
Published: (2024)

Implementing and Evaluating Post-Quantum DNSSEC in CoreDNS
by: Suela, Julio Gento, et al.
Published: (2025)

The Evolution of Zero Trust Architecture (ZTA) from Concept to Implementation
by: Nasiruzzaman, Md, et al.
Published: (2025)

Implementation and transition to post-quantum cryptography of the Minimal IKE protocol
by: De Zuane, Davide, et al.
Published: (2026)

Closing the Visibility Gap: A Monitoring Framework for Verifiable Open RAN Operations
by: Yu, Hexuan, et al.
Published: (2025)

Securing High-Performance Data Transfers: Implementing AES Encryption in RDMA Systems
by: Bångsbo, Erik, et al.
Published: (2026)

Implementing an Optimized and Secured Multimedia Streaming Protocol in a Participatory Sensing Scenario
by: Vaiuso, Andrea
Published: (2024)

Applying Transparent Shaping for Zero Trust Architecture Implementation in AWS: A Case Study
by: Wang, Wenjia, et al.
Published: (2024)

TLoRa: Implementing TLS Over LoRa for Secure HTTP Communication in IoT
by: Ghosh, Atonu, et al.
Published: (2025)

Cyber Deception Reactive: TCP Stealth Redirection to On-Demand Honeypots
by: Lopez, Pedro Beltran, et al.
Published: (2024)

UDFS: Lightweight Representation-Driven Open World Robust Encrypted Traffic Classification
by: Xian, Youquan, et al.
Published: (2025)

PM-Dedup: Secure Deduplication with Partial Migration from Cloud to Edge Servers
by: Ke, Zhaokang, et al.
Published: (2025)

LLM-based Continuous Intrusion Detection Framework for Next-Gen Networks
by: Adjewa, Frederic, et al.
Published: (2024)

Holmes: An Evidence-Grounded LLM Agent for Auditable DDoS Investigation in Cloud Networks
by: Chen, Haodong, et al.
Published: (2026)

IoT-AMLHP: Aligned Multimodal Learning of Header-Payload Representations for Resource-Efficient Malicious IoT Traffic Classification
by: Nie, Fengyuan, et al.
Published: (2025)

Multi-Agent Collaborative Intrusion Detection for Low-Altitude Economy IoT: An LLM-Enhanced Agentic AI Framework
by: Li, Hongjuan, et al.
Published: (2026)

Navigating Connected Car Cybersecurity: Location Anomaly Detection with RAN Data
by: Wang, Feng, et al.
Published: (2024)

NetDPSyn: Synthesizing Network Traces under Differential Privacy
by: Sun, Danyu, et al.
Published: (2024)

Exploiting Cross-Layer Vulnerabilities: Off-Path Attacks on the TCP/IP Protocol Suite
by: Feng, Xuewei, et al.
Published: (2024)

Smart Grid: Cyber Attacks, Critical Defense Approaches, and Digital Twin
by: Zheng, Tianming, et al.
Published: (2022)

Cross-chain Sharing of Personal Health Records: Heterogeneous and Interoperable Blockchains
by: Lv, Yongyang, et al.
Published: (2024)

Dynamic Spectrum Sharing Based on the Rentable NFT Standard ERC4907
by: Ye, Litao, et al.
Published: (2025)

Unlearning-Enhanced Website Fingerprinting Attack: Against Backdoor Poisoning in Anonymous Networks
by: Yuan, Yali, et al.
Published: (2025)

Zero-Knowledge Proof of Distinct Identity: a Standard-compatible Sybil-resistant Pseudonym Extension for C-ITS
by: Tao, Ye, et al.
Published: (2024)

Blockchains for Internet of Things: Fundamentals, Applications, and Challenges
by: Wu, Yusen, et al.
Published: (2024)

LightGuard: Transparent WiFi Security via Physical-Layer LiFi Key Bootstrapping
by: Xu, Shiqi, et al.
Published: (2026)

What You Code Is What We Prove: Translating BLE App Logic into Formal Models with LLMs for Vulnerability Detection
by: Yan, Biwei, et al.
Published: (2025)

Detecting Adversarial Spectrum Attacks via Distance to Decision Boundary Statistics
by: Zhao, Wenwei, et al.
Published: (2024)

XMap: Fast Internet-wide IPv4 and IPv6 Network Scanner
by: Li, Xiang, et al.
Published: (2026)

Off-Path TCP Exploits: PMTUD Breaks TCP Connection Isolation in IP Address Sharing Scenarios
by: Feng, Xuewei, et al.
Published: (2025)

Large Language Models for Network Intrusion Detection Systems: Foundations, Implementations, and Future Directions
by: Yang, Shuo, et al.
Published: (2025)

Impact of Intelligent Technologies on IoV Security: Integrating Edge Computing and AI
by: Bilal, Awais, et al.
Published: (2026)