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]
@inproceedings{ChenTYZ0LTL23,
title = {Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning},
author = {Yi Chen and Di Tang and Yepeng Yao and Mingming Zha and Xiaofeng Wang 0001 and Xiaozhong Liu and Haixu Tang and Baoxu Liu},
year = {2023},
url = {https://www.usenix.org/conference/usenixsecurity23/presentation/chen-yi},
researchr = {https://researchr.org/publication/ChenTYZ0LTL23},
cites = {0},
citedby = {0},
pages = {3529-3545},
booktitle = {32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023},
editor = {Joseph A. Calandrino and Carmela Troncoso},
publisher = {USENIX Association},
}