J Wu, Y Nan, V Kumar, DJ Tian, A Bianchi, M Payer, D Xu

14th USENIX Workshop on Offensive Technologies (WOOT 20), 2020

G Bai, J Hao, J Wu, Y Liu, Z Liang, A Martin

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014

C Zuo, J Wu, S Guo

Proceedings of the 10th ACM Symposium on Information, Computer and …, 2015

J Wu, R Wu, D Antonioli, M Payer, NO Tippenhauer, D Xu, DJ Tian, ...

30th USENIX Security Symposium (USENIX Security 21), 339-356, 2021

J Wu, T Cui, T Ban, S Guo, L Cui

Security and Communication Networks 8 (13), 2338-2349, 2015

J Wu, Y Nan, V Kumar, M Payer, D Xu

23rd International Symposium on Research in Attacks, Intrusions and Defenses …, 2020

G Bai, J Sun, J Wu, Q Ye, L Li, JS Dong, S Guo

2015 20th International Conference on Engineering of Complex Computer …, 2015

J Wu, R Wu, D Xu, DJ Tian, A Bianchi

2022 IEEE Symposium on Security and Privacy (SP), 2285-2303, 2022

J Wu, Y Nan, V Kumar

Proceedings of the USENIX Workshop on Offensive Technologies (WOOT), 2020

F Wang, J Wu, Y Nan, Y Aafer, X Zhang, D Xu, M Payer

31st USENIX Security Symposium (USENIX Security 22), 3879-3896, 2022

Y Nan, X Wang, L Xing, X Liao, R Wu, J Wu, Y Zhang, XF Wang

32nd USENIX Security Symposium (USENIX Security 23), 6665-6682, 2023

H Kim, MO Ozmen, A Bianchi, ZB Celik, D Xu

Proceedings of the Workshop on Automotive and Autonomous Vehicle Security …, 2022

J Wu, R Wu, D Xu, D Tian, A Bianchi

2024 IEEE Symposium on Security and Privacy (SP), 23-23, 2023

J Wu, P Traynor, D Xu, DJ Tian, A Bianchi