CellSecInspector: Safeguarding Cellular Networks via Automated Security Analysis on Specifications. - Ke Xie 013; Xingyi Zhao; Yiwen Hu 002; Munshi Saifuzzaman; Wen Li; Shuhan Yuan; Tian Xie 001; Guan-Hua Tu (CoRR, 2025)

CellularSpecSec-Bench: A Staged Benchmark for Evidence-Grounded Interpretation and Security Reasoning over 3GPP Specifications. - Ke Xie 013; Xingyi Zhao; Yiwen Hu 002; Shuhan Yuan; Tian Xie 001 (CoRR, 2026)