TY  - RPRT
TI  - CellSecInspector: Safeguarding Cellular Networks via Automated Security Analysis on Specifications
AU  - Ke Xie
AU  - Xingyi Zhao
AU  - Min-Yue Chen
AU  - Yu-An Chen
AU  - Yiwen Hu
AU  - Munshi Saifuzzaman
AU  - Wen Li
AU  - Shuhan Yuan
AU  - Guan-Hua Tu
AU  - Tian Xie
PY  - 2026
DO  - 10.1145/3795866.3844474
UR  - https://arxiv.org/abs/2512.24682
ID  - 2512.24682
ER  -