TY  - RPRT
TI  - PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
AU  - Zhuoruo Zhang
AU  - Rui Chang
AU  - Mingshuai Chen
AU  - Wenbo Shen
AU  - Chenyang Yu
AU  - He Huang
AU  - Qinming Dai
AU  - Yongwang Zhao
PY  - 2025
UR  - https://arxiv.org/abs/2209.07936
ID  - 2209.07936
ER  -