Biblio

Export 2 results:
Filters: Author is Baoxu Liu  [Clear All Filters]
2023
Chen Y, Tang D, Yao Y, Zha M, Wang XF, Liu X, Tang H, Liu B.  2023.  Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning. 32nd USENIX Security Symposium (USENIX Security 23). :3529--3545.
2021
Su L, Shen X, Du X, Liao X, Wang XF, Xing L, Liu B.  2021.  Evil Under the Sun: Understanding and Discovering Attacks on Ethereum Decentralized Applications. 30th USENIX Security Symposium (USENIX Security 21). :1307--1324.