Paper Accepted by IEEE Trans. Inf. Forensics Secur.

Our paper has been accepted by IEEE Transactions on Information Forensics & Security.

Our paper titled “PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot under Hardware Supply-chain Attacks” by Zhuoruo Zhang, Rui Chang, Mingshuai Chen, Wenbo Shen, Chenyang Yu, He Huang, Qinming Dai and Yongwang Zhao has been accepted for publication at the IEEE Transactions on Information Forensics & Security. This article presents PA-Boot, the first formally verified processor-authentication protocol for secure boot in multiprocessor systems.