Zhuoruo Zhang

According to our database, Zhuoruo Zhang authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ProveriT: A Parameterized, Composable, and Verified Model of TEE Protection Profile.

Jilin Hu, Fanlang Zeng, Yongwang Zhao, Zhuoruo Zhang, Leping Zhang, Jianhong Zhao, Rui Chang, Kui Ren

IEEE Trans. Dependable Secur. Comput., 2024

Interp-flow Hijacking: Launching Non-control Data Attack via Hijacking eBPF Interpretation Flow.

Qirui Liu, Wenbo Shen, Jinmeng Zhou, Zhuoruo Zhang, Jiayi Hu, Shukai Ni, Kangjie Lu, Rui Chang

Proceedings of the Computer Security - ESORICS 2024, 2024

2023

Lark: Verified Cross-Domain Access Control for Trusted Execution Environments.

Fanlang Zeng, Zhuoruo Zhang, Rui Chang, Chenyang Yu, Zijun Zhang, Yongwang Zhao

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

VeriReach: A Formally Verified Algorithm for Reachability Analysis in Virtual Private Cloud Networks.

Zhuoruo Zhang, Jilin Hu, Chenyang Yu, Rui Chang, Yongwang Zhao

Proceedings of the IEEE International Conference on Web Services, 2023

2022

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot.

Zhuoruo Zhang, Chenyang Yu, He Huang, Rui Chang, Mingshuai Chen, Qinming Dai, Wenbo Shen, Yongwang Zhao, Kui Ren

CoRR, 2022