@misc{indiciae1251c0481b17,
  title = {CellSecInspector: Safeguarding Cellular Networks via Automated Security Analysis on Specifications},
  author = {Ke Xie and Xingyi Zhao and Min-Yue Chen and Yu-An Chen and Yiwen Hu and Munshi Saifuzzaman and Wen Li and Shuhan Yuan and Guan-Hua Tu and Tian Xie},
  year = {2026},
  doi = {10.1145/3795866.3844474},
  url = {https://arxiv.org/abs/2512.24682},
  note = {Source identifier: 2512.24682}
}