Chenyang Yu

Publications with FICTION

Preprints

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