Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
hardware
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
Hardware supply-chain attacks are raising significant security threats to the boot process of multiprocessor systems. This paper …
Zhuoruo Zhang
,
Rui Chang
,
Mingshuai Chen
,
Wenbo Shen
,
Bo Feng
,
Chenyang Yu
,
He Huang
,
Qinming Dai
,
Yongwang Zhao
PDF
Cite
DOI
Cite
×
