2 papers
cs.CL2026
RFCLLM: Evaluating LLMs' Reasoning Ability of Network Protocol State Machines
Anqi Chen, Dan Goldwasser, Cristina Nita-Rotaru
Mapping textual specifications into formal representations is essential for ensuring the correctness of protocol designs and implementations. LLM-generated mappings, used for netwo…
cs.CR2025
Cross-Service Token: Finding Attacks in 5G Core Networks
Anqi Chen, Riccardo Preatoni, Alessandro Brighente +2
5G marks a major departure from previous cellular architectures, by transitioning from a monolithic design of the core network to a Service-Based Architecture (SBA) where services…