Ziqiao Zhou

According to our database, Ziqiao Zhou authored at least 13 papers between 2014 and 2023.

Collaborative distances:

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

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