VeriSMo: A Verified Security Module for Confidential VMs
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
OSDI 2024 | July 2024
Jay Lepreau Best Paper Award
Awarded Best Paper!
Ziqiao Zhou
Senior Researcher
Publications
Publications by Year
-
-
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
arXiv:2311.03739 | November 2023
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud
Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann
17th USENIX Symposium on Operating Systems Design and Implementation | July 2023
-
Interpretable Noninterference Measurement and Its Application to Processor Designs
Ziqiao Zhou, Michael K. Reiter
Object-Oriented Programming Systems, Languages, and Applications | October 2021
-
Static Evaluation of Noninterference Using Approximate Model Counting
Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang
2018 IEEE Symposium on Security and Privacy | April 2018
-
A Software Approach to Defeating Side Channels in Last-Level Caches
Ziqiao Zhou, Michael K. Reiter, Yinqian Zhang
2016 Computer and Communications Security | October 2016
-
Fingerprint-free tracking with dynamic enhanced field division
Qingquan Zhang, Ziqiao Zhou, Wei Xu, Jing Qi, Chenxi Guo, Ping Yi, Ting Zhu, Sheng Xiao
2015 International Conference on Computer Communications | August 2015
Publications by Research Area
-
VeriSMo: A Verified Security Module for Confidential VMs
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
OSDI 2024 | July 2024
Jay Lepreau Best Paper Award
Awarded Best Paper!
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
arXiv:2311.03739 | November 2023
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud
Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann
17th USENIX Symposium on Operating Systems Design and Implementation | July 2023
Interpretable Noninterference Measurement and Its Application to Processor Designs
Ziqiao Zhou, Michael K. Reiter
Object-Oriented Programming Systems, Languages, and Applications | October 2021
Static Evaluation of Noninterference Using Approximate Model Counting
Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang
2018 IEEE Symposium on Security and Privacy | April 2018
A Software Approach to Defeating Side Channels in Last-Level Caches
Ziqiao Zhou, Michael K. Reiter, Yinqian Zhang
2016 Computer and Communications Security | October 2016
-
Fingerprint-free tracking with dynamic enhanced field division
Qingquan Zhang, Ziqiao Zhou, Wei Xu, Jing Qi, Chenxi Guo, Ping Yi, Ting Zhu, Sheng Xiao
2015 International Conference on Computer Communications | August 2015
-
Interpretable Noninterference Measurement and Its Application to Processor Designs
Ziqiao Zhou, Michael K. Reiter
Object-Oriented Programming Systems, Languages, and Applications | October 2021
Publications by Type
-
VeriSMo: A Verified Security Module for Confidential VMs
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
OSDI 2024 | July 2024
Jay Lepreau Best Paper Award
Awarded Best Paper!
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
arXiv:2311.03739 | November 2023
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud
Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann
17th USENIX Symposium on Operating Systems Design and Implementation | July 2023
Interpretable Noninterference Measurement and Its Application to Processor Designs
Ziqiao Zhou, Michael K. Reiter
Object-Oriented Programming Systems, Languages, and Applications | October 2021
Static Evaluation of Noninterference Using Approximate Model Counting
Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang
2018 IEEE Symposium on Security and Privacy | April 2018
A Software Approach to Defeating Side Channels in Last-Level Caches
Ziqiao Zhou, Michael K. Reiter, Yinqian Zhang
2016 Computer and Communications Security | October 2016
Fingerprint-free tracking with dynamic enhanced field division
Qingquan Zhang, Ziqiao Zhou, Wei Xu, Jing Qi, Chenxi Guo, Ping Yi, Ting Zhu, Sheng Xiao
2015 International Conference on Computer Communications | August 2015