IFIZZ: Deep-State and Efficient Fault-Scenario Generation to Test IoT Firmware. - Peiyu Liu 003; Shouling Ji; Xuhong Zhang 002; Qinming Dai; Kangjie Lu; Lirong Fu; Wenzhi Chen; Peng Cheng 001; Wenhai Wang; Raheem Beyah (ASE, 2021)

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot. - Zhuoruo Zhang; Chenyang Yu; He Huang; Rui Chang; Mingshuai Chen; Qinming Dai; Wenbo Shen; Yongwang Zhao; Kui Ren 001 (CoRR, 2022)

A Comprehensive Study on ARM Disassembly Tools. - Muhui Jiang; Qinming Dai; Wenlong Zhang; Rui Chang; Yajin Zhou; Xiapu Luo; Ruoyu Wang 001; Yang Liu 003; Kui Ren 001 (IEEE Trans. Software Eng., 2023)

Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries. - Hao Xiong; Qinming Dai; Rui Chang; Mingran Qiu; Renxiang Wang; Wenbo Shen; Yajin Zhou (ISSTA, 2024)