Biblio

Export 6 results:
Filters: Author is Di Tang  [Clear All Filters]
2024
Xu D, Tang D, Chen Y, Wang XF, Chen K, Tang H, Li L.  2024.  Racing on the Negative Force: Efficient Vulnerability Root-Cause Analysis through Reinforcement Learning on Counterexamples. 33rd USENIX Security Symposium (USENIX Security 24). :4229--4246.
Wang Z, Tang D, Wang XF, He W, Geng Z, Wang W.  2024.  Tossing in the Dark: Practical Bit-Flipping on Gray-box Deep Neural Networks for Runtime Trojan Injection. 33rd USENIX Security Symposium (USENIX Security 24). :1331--1348.
2023
Huang K, Zhou YT, Zhang K, Xu J, Chen J, Tang D, Zhang K.  2023.  HOMESPY: The Invisible Sniffer of Infrared Remote Control of Smart TVs. 32nd USENIX Security Symposium (USENIX Security 23). :4553--4570.
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.
2022
Chen Y, Tang D, Yao Y, Zha M, Wang XF, Liu X, Tang H, Zhao D.  2022.  Seeing the Forest for the Trees: Understanding Security Hazards in the 3GPP Ecosystem through Intelligent Analysis on Change Requests. 31st USENIX Security Symposium (USENIX Security 22). :17--34.
2021
Tang D, Wang XF, Tang H, Zhang K.  2021.  Demon in the Variant: Statistical Analysis of DNNs for Robust Backdoor Contamination Detection. 30th USENIX Security Symposium (USENIX Security 21). :1541--1558.