Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
theorem proving
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
,
Chenyang Yu
,
He Huang
,
Rui Chang
,
Mingshuai Chen
,
Qinming Dai
,
Wenbo Shen
,
Yongwang Zhao
,
Kui Ren
PDF
Cite
DOI
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems
We introduce a toolchain MARS for Modelling, Analyzing and veRifying hybrid Systems we developed in the past years. Using MARS, we …
Mingshuai Chen
,
Xiao Han
,
Tao Tang
,
Shuling Wang
,
Mengfei Yang
,
Naijun Zhan
,
Hengjun Zhao
,
Liang Zou
PDF
Cite
Code
DOI
Cite
×
