Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Zhuoruo Zhang
Publications with FICTION
Journal Articles
Zhuoruo Zhang
,
Rui Chang
,
Mingshuai Chen
,
Wenbo Shen
,
Chenyang Yu
,
He Huang
,
Qinming Dai
,
Yongwang Zhao
(2025).
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot under Hardware Supply-chain Attacks
.
IEEE Trans. Inf. Forensics Secur.
.
PDF
Cite
Cite
×