Qinming Dai

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Authentication Protocol

Top Venues

IEEE Trans. Software Eng.

Publications

Muhui Jiang, Qinming Dai, Wenlong Zhang, Rui Chang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, Kui Ren
A Comprehensive Study on ARM Disassembly Tools. IEEE Trans. Software Eng. 49 (4) (2023)
Zhuoruo Zhang, Chenyang Yu, He Huang, Rui Chang, Mingshuai Chen, Qinming Dai, Wenbo Shen, Yongwang Zhao, Kui Ren
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot. CoRR (2022)
Peiyu Liu, Shouling Ji, Xuhong Zhang, Qinming Dai, Kangjie Lu, Lirong Fu, Wenzhi Chen, Peng Cheng, Wenhai Wang, Raheem Beyah
IFIZZ: Deep-State and Efficient Fault-Scenario Generation to Test IoT Firmware. ASE (2021)