TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms. - Guangdong Bai; Jianan Hao; Jianliang Wu 002; Yang Liu 003; Zhenkai Liang; Andrew P. Martin (FM, 2014)

Automatically Detecting SSL Error-Handling Vulnerabilities in Hybrid Mobile Web Apps. - Chaoshun Zuo; Jianliang Wu 002; Shanqing Guo (AsiaCCS, 2015)

All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. - Guangdong Bai; Jun Sun 001; Jianliang Wu 002; Quanqi Ye; Li Li 044; Jin Song Dong; Shanqing Guo (ICECCS, 2015)

PaddyFrog: systematically detecting confused deputy vulnerability in Android applications. - Jianliang Wu 002; Tingting Cui; Tao Ban; Shanqing Guo; Lizhen Cui (Secur. Commun. Networks, 2015)

BlueShield: Detecting Spoofing Attacks in Bluetooth Low Energy Networks. - Jianliang Wu 002; Yuhong Nan; Vireshwar Kumar; Mathias Payer; Dongyan Xu (RAID, 2020)

BLESA: Spoofing Attacks against Reconnections in Bluetooth Low Energy. - Jianliang Wu 002; Yuhong Nan; Vireshwar Kumar; Dave (Jing) Tian; Antonio Bianchi; Mathias Payer; Dongyan Xu (WOOT @ USENIX Security Symposium, 2020)

LIGHTBLUE: Automatic Profile-Aware Debloating of Bluetooth Stacks. - Jianliang Wu 002; Ruoyu Wu; Daniele Antonioli; Mathias Payer; Nils Ole Tippenhauer; Dongyan Xu; Dave (Jing) Tian; Antonio Bianchi (USENIX Security Symposium, 2021)

Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities. - Jianliang Wu 002; Ruoyu Wu; Dongyan Xu; Dave Jing Tian; Antonio Bianchi (SP, 2022)

ProFactory: Improving IoT Security via Formalized Protocol Customization. - Fei Wang 046; Jianliang Wu 002; Yuhong Nan; Yousra Aafer; Xiangyu Zhang 001; Dongyan Xu; Mathias Payer (USENIX Security Symposium, 2022)

Are You Spying on Me? Large-Scale Analysis on IoT Data Exposure through Companion Apps. - Yuhong Nan; Xueqiang Wang; Luyi Xing; Xiaojing Liao; Ruoyu Wu; Jianliang Wu 002; Yifan Zhang 010; XiaoFeng Wang 001 (USENIX Security Symposium, 2023)

MiniBLE: Exploring Insecure BLE API Usages in Mini-Programs. - Zidong Zhang; Jianqi Du; Wenrui Diao; Jianliang Wu 002 (SaTS@CCS, 2024)

SoK: The Long Journey of Exploiting and Defending the Legacy of King Harald Bluetooth. - Jianliang Wu 002; Ruoyu Wu; Dongyan Xu; Dave Jing Tian; Antonio Bianchi (SP, 2024)

Finding Traceability Attacks in the Bluetooth Low Energy Specification and Its Implementations. - Jianliang Wu 002; Patrick Traynor; Dongyan Xu; Dave (Jing) Tian; Antonio Bianchi (USENIX Security Symposium, 2024)

VeriBin: Adaptive Verification of Patches at the Binary Level. - Hongwei Wu; Jianliang Wu 002; Ruoyu Wu; Ayushi Sharma; Aravind Machiry; Antonio Bianchi (NDSS, 2025)

CSFuzzer: A grey-box fuzzer for network protocol using context-aware state feedback. - Xiangpu Song; Yingpei Zeng; Jianliang Wu 002; Hao Li 092; Chaoshun Zuo; Qingchuan Zhao; Shanqing Guo (Comput. Secur., 2025)

Why Am I Seeing Double? An Investigation of Device Management Flaws in Voice Assistant Platforms. - Muslum Ozgur Ozmen; Mehmet Oguz Sakaoglu; Jackson Bizjak; Jianliang Wu 002; Antonio Bianchi; Dave (Jing) Tian; Z. Berkay Celik (Proc. Priv. Enhancing Technol., 2025)

Securing Bluetooth Across Layers: A Systematic Review of Protection Strategies. - Jianliang Wu 002; Ruoyu Wu; Dongyan Xu; Dave (Jing) Tian; Antonio Bianchi (GetMobile Mob. Comput. Commun., 2025)