@misc{indiciae62feff659bd8,
  title = {PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot},
  author = {Zhuoruo Zhang and Rui Chang and Mingshuai Chen and Wenbo Shen and Chenyang Yu and He Huang and Qinming Dai and Yongwang Zhao},
  year = {2025},
  url = {https://arxiv.org/abs/2209.07936},
  note = {Source identifier: 2209.07936}
}