Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
CellularSpecSec-Bench: A Staged Benchmark for Evidence-Grounded Interpretation and Security Reasoning over 3GPP Specifications
Ke Xie, Xingyi Zhao, Yiwen Hu +2
Cellular networks are critical infrastructure supporting billions of worldwide users and safety- and mission-critical services. Vulnerabilities in cellular networks can therefore c…
cs.CR2025
CellSecInspector: Safeguarding Cellular Networks via Automated Security Analysis on Specifications
Ke Xie, Xingyi Zhao, Min-Yue Chen +7
The complexity, interdependence, and rapid evolution of 3GPP specifications present fundamental challenges for ensuring the security of modern cellular networks. Manual reviews and…