Zhuoruo Zhang

Publications with FICTION

Journal Articles

1. Zhuoruo Zhang, Rui Chang, Mingshuai Chen, Wenbo Shen, Chenyang Yu, He Huang, Qinming Dai, Yongwang Zhao (2025). PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot under Hardware Supply-chain Attacks. IEEE Trans. Inf. Forensics Secur.. PDF Cite