| 2026 | NDSS | ProtocolGuard: Detecting Protocol Non-compliance Bugs via LLM-guided Static Analysis and Dynamic Verification. | Xiangpu Song, Longjia Pei, Jianliang Wu, Yingpei Zeng, Gaoshuo He, Chaoshun Zuo, Xiaofeng Liu, Qingchuan Zhao, Shanqing Guo |
| 2025 | MOBICOM | Formalization, Implementation, and Verification of the Bluetooth L2CAP State Machine. | Tan Khang Le, Mohammad Omidvar Tehrani, Yuepeng Wang, Jianliang Wu, Steven Y. Ko |
| 2025 | NDSS | VeriBin: Adaptive Verification of Patches at the Binary Level. | Hongwei Wu, Jianliang Wu, Ruoyu Wu, Ayushi Sharma, Aravind Machiry, Antonio Bianchi |
| 2024 | SP | SoK: The Long Journey of Exploiting and Defending the Legacy of King Harald Bluetooth. | Jianliang Wu, Ruoyu Wu, Dongyan Xu, Dave Jing Tian, Antonio Bianchi |
| 2022 | SP | Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities. | Jianliang Wu, Ruoyu Wu, Dongyan Xu, Dave Jing Tian, Antonio Bianchi |
| 2020 | RAID | BlueShield: Detecting Spoofing Attacks in Bluetooth Low Energy Networks. | Jianliang Wu, Yuhong Nan, Vireshwar Kumar, Mathias Payer, Dongyan Xu |
| 2015 | CCS | Automatically Detecting SSL Error-Handling Vulnerabilities in Hybrid Mobile Web Apps. | Chaoshun Zuo, Jianliang Wu, Shanqing Guo |
| 2015 | ICECCS | All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. | Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo |
| 2014 | FM | TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms. | Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew P. Martin |
| 2007 | ICCS | Some Results on List Total Colorings of Planar Graphs. | Jianfeng Hou, Guizhen Liu, Jianliang Wu |
| 2007 | ICCS | The Equitable Edge-Coloring of Series-Parallel Graphs. | Huimin Song, Jianliang Wu, Guizhen Liu |
| 2007 | ICCS | A Linear Algorithm for Edge-Face Coloring Series-Parallel Graphs. | Jianliang Wu, Ping Wang |