SaTC: Shared-Keyword Aware Taint Checking for Detecting Bugs in Embedded Systems - Libo Chen; Yanhao Wang; Jiaqi Linghu; Qinsheng Hou; Quanpu Cai; Shanqing Guo; Zhi Xue (IEEE Trans. Dependable Secur. Comput., 2024)

SFuzz: Slice-based Fuzzing for Real-Time Operating Systems - Libo Chen; Quanpu Cai; Zhenbang Ma; Yanhao Wang; Hong Hu; Minghang Shen; Yue Liu; Shanqing Guo; Haixin Duan; Kaida Jiang; Zhi Xue (Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022, 2022)

Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems - Libo Chen; Yanhao Wang; Quanpu Cai; Yunfan Zhan; Hong Hu; Jiaqi Linghu; Qinsheng Hou; Chao Zhang; Haixin Duan; Zhi Xue (30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021, 2021)

Passwords in the Air: Harvesting Wi-Fi Credentials from SmartCfg Provisioning - Changyu Li; Quanpu Cai; Juanru Li; Hui Liu; Yuanyuan Zhang; Dawu Gu; Yu Yu (Proceedings of the 11th ACM Conference on Security & Privacy in Wireless and Mobile Networks, WiSec 2018, Stockholm, Sweden, June 18-20, 2018, 2018)