Yi Chen, Di Tang, Yepeng Yao, Mingming Zha, Xiaofeng Wang 0001, Xiaozhong Liu, Haixu Tang, Baoxu Liu. Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 3529-3545, USENIX Association, 2023. [doi]
Abstract is missing.