Home
News
People
Publications
Seminar
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
He Huang
Publications with FICTION
Preprints
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
Cite
×