Qinming Dai

Publications with FICTION

Preprints

1. Zhuoruo Zhang, Chenyang Yu, He Huang, Rui Chang, Mingshuai Chen, Qinming Dai, Wenbo Shen, Yongwang Zhao, Kui Ren (2022). PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot. arXiv. Preprint. PDF Cite DOI