Jianliang Wu
Jianliang Wu
Verified email at - Homepage
Cited by
Cited by
{BLESA}: Spoofing attacks against reconnections in bluetooth low energy
J Wu, Y Nan, V Kumar, DJ Tian, A Bianchi, M Payer, D Xu
14th USENIX Workshop on Offensive Technologies (WOOT 20), 2020
TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms
G Bai, J Hao, J Wu, Y Liu, Z Liang, A Martin
International Symposium on Formal Methods, 110-126, 2014
Automatically detecting ssl error-handling vulnerabilities in hybrid mobile web apps
C Zuo, J Wu, S Guo
Proceedings of the 10th ACM Symposium on Information, Computer and …, 2015
All your sessions are belong to us: Investigating authenticator leakage through backup channels on android
G Bai, J Sun, J Wu, Q Ye, L Li, JS Dong, S Guo
2015 20th International Conference on Engineering of Complex Computer …, 2015
Paddyfrog: systematically detecting confused deputy vulnerability in android applications
J Wu, T Cui, T Ban, S Guo, L Cui
Security and Communication Networks 8 (13), 2338-2349, 2015
{BlueShield}: Detecting Spoofing Attacks in Bluetooth Low Energy Networks
J Wu, Y Nan, V Kumar, M Payer, D Xu
23rd International Symposium on Research in Attacks, Intrusions and Defenses …, 2020
{LIGHTBLUE}: Automatic {Profile-Aware} Debloating of Bluetooth Stacks
J Wu, R Wu, D Antonioli, M Payer, NO Tippenhauer, D Xu, DJ Tian, ...
30th USENIX Security Symposium (USENIX Security 21), 339-356, 2021
Profactory: Improving iot security via formalized protocol customization
F Wang, J Wu, Y Nan, Y Aafer, X Zhang, D Xu, M Payer
Proc. of USENIX Security’22, 2022
Policy-based Discovery and Patching of Logic Bugs in Robotic Vehicles
H Kim, MO Ozmen, A Bianchi, ZB Celik, D Xu, R Muller, Y Man, M Li, ...
Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities
J Wu, R Wu, D Xu, DJ Tian, A Bianchi
The system can't perform the operation now. Try again later.
Articles 1–10