Ziqiao Zhou

According to our database, Ziqiao Zhou authored at least 16 papers between 2014 and 2024.

Collaborative distances:

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

2024

AutoVerus: Automated Proof Generation for Rust Code.

Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu K. Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu

CoRR, 2024

VeriSMo: A Verified Security Module for Confidential VMs.

Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

Learning a Dynamic Neural Human via Poses Guided Dual Spaces Feature.

Caoyuan Ma, Runqi Wang, Wu Liu, Ziqiao Zhou, Zheng Wang

Proceedings of the IEEE International Conference on Advanced Video and Signal Based Surveillance, 2024

2023

E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification.

Yu Hao, Weiteng Chen, Ziqiao Zhou, Weidong Cui

CoRR, 2023

Leveraging Large Language Models for Automated Proof Synthesis in Rust.

Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui

CoRR, 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

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

2021

Interpretable noninterference measurement and its application to processor designs.

Ziqiao Zhou, Michael K. Reiter

Proc. ACM Program. Lang., 2021

2020

Evaluating Information Leakage by Quantitative and Interpretable Measurements.

Ziqiao Zhou

PhD thesis, 2020

2019

Dynamic Enhanced Field Division: An Advanced Localizing and Tracking Middleware.

Qingquan Zhang, Yao Yao, Ting Zhu, Ziqiao Zhou, Wei Xu, Ping Yi, Sheng Xiao

ACM Trans. Sens. Networks, 2019

Dynamic Network Change Detection via Dynamic Network Representation Learning.

Hao Feng, Yan Liu, Ziqiao Zhou, Jing Chen

Proceedings of the Communications and Networking, 2019

2018

Static Evaluation of Noninterference Using Approximate Model Counting.

Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

2016

A Software Approach to Defeating Side Channels in Last-Level Caches.

Ziqiao Zhou, Michael K. Reiter, Yinqian Zhang

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Fingerprint-free tracking with dynamic enhanced field division.

Qingquan Zhang, Ziqiao Zhou, Wei Xu, Jing Qi, Chenxi Guo, Ping Yi, Ting Zhu, Sheng Xiao

Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

Context-Centric Target Localization with Optimal Anchor Deployments.

Qingquan Zhang, Wei Xu, Zhichuan Huang, Ziqiao Zhou, Ping Yi, Ting Zhu, Sheng Xiao

Proceedings of the 23rd IEEE International Conference on Network Protocols, 2015

2014

A Three-Dimensional Wireless Indoor Localization System.

Ping Yi, Minjie Yu, Ziqiao Zhou, Wei Xu, Qingquan Zhang, Ting Zhu

J. Electr. Comput. Eng., 2014

EEP2P: An energy-efficient and economy-efficient P2P network protocol.

Ziqiao Zhou, Mengjun Xie, Ting Zhu, Wei Xu, Ping Yi, Zhichuan Huang, Qingquan Zhang, Sheng Xiao

Proceedings of the International Green Computing Conference, 2014