@inproceedings {287360,
	author = {Yi Chen and Di Tang and Yepeng Yao and Mingming Zha and XiaoFeng Wang and Xiaozhong Liu and Haixu Tang and Baoxu Liu},
	title = {Sherlock on Specs: Building {LTE} Conformance Tests through Automated Reasoning},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {3529--3545},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/chen-yi},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {263810,
	author = {Liya Su and Xinyue Shen and Xiangyu Du and Xiaojing Liao and XiaoFeng Wang and Luyi Xing and Baoxu Liu},
	title = {Evil Under the Sun: Understanding and Discovering Attacks on Ethereum Decentralized Applications},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {1307--1324},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/su},
	publisher = {USENIX Association},
	month = aug
}
