Zhuoruo Zhang

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

Collaborative distances:

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

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