Login / Signup
Zhuoruo Zhang
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Access Control
Authentication Protocol
Session Key
Trust Relationships
Top Venues
CoRR
ISSRE
ICWS
</>
Publications
</>
Zhuoruo Zhang
,
Jilin Hu
,
Chenyang Yu
,
Rui Chang
,
Yongwang Zhao
VeriReach: A Formally Verified Algorithm for Reachability Analysis in Virtual Private Cloud Networks.
ICWS
(2023)
Fanlang Zeng
,
Zhuoruo Zhang
,
Rui Chang
,
Chenyang Yu
,
Zijun Zhang
,
Yongwang Zhao
Lark: Verified Cross-Domain Access Control for Trusted Execution Environments.
ISSRE
(2023)
Zhuoruo Zhang
,
Chenyang Yu
,
He Huang
,
Rui Chang
,
Mingshuai Chen
,
Qinming Dai
,
Wenbo Shen
,
Yongwang Zhao
,
Kui Ren
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot.
CoRR
(2022)