Qinming Dai

According to our database, Qinming Dai authored at least 5 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot Under Hardware Supply-Chain Attacks.

Zhuoruo Zhang, Rui Chang, Mingshuai Chen, Wenbo Shen, Chenyang Yu, He Huang, Qinming Dai, Yongwang Zhao

IEEE Trans. Inf. Forensics Secur., 2026

2024

Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries.

Hao Xiong, Qinming Dai, Rui Chang, Mingran Qiu, Renxiang Wang, Wenbo Shen, Yajin Zhou

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

A Comprehensive Study on ARM Disassembly Tools.

Muhui Jiang, Qinming Dai, Wenlong Zhang, Rui Chang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, Kui Ren

IEEE Trans. Software Eng., April, 2023

2022

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

CoRR, 2022

2021

IFIZZ: Deep-State and Efficient Fault-Scenario Generation to Test IoT Firmware.

Peiyu Liu, Shouling Ji, Xuhong Zhang, Qinming Dai, Kangjie Lu, Lirong Fu, Wenzhi Chen, Peng Cheng, Wenhai Wang, Raheem Beyah

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021