EEP2P: An energy-efficient and economy-efficient P2P network protocol. - Ziqiao Zhou; Mengjun Xie; Ting Zhu 001; Wei Xu; Ping Yi; Zhichuan Huang; Qingquan Zhang; Sheng Xiao (IGCC, 2014)

A Three-Dimensional Wireless Indoor Localization System. - Ping Yi; Minjie Yu; Ziqiao Zhou; Wei Xu; Qingquan Zhang; Ting Zhu 001 (J. Electr. Comput. Eng., 2014)

Context-Centric Target Localization with Optimal Anchor Deployments. - Qingquan Zhang; Wei Xu; Zhichuan Huang; Ziqiao Zhou; Ping Yi; Ting Zhu 001; Sheng Xiao (ICNP, 2015)

Fingerprint-free tracking with dynamic enhanced field division. - Qingquan Zhang; Ziqiao Zhou; Wei Xu; Jing Qi; Chenxi Guo; Ping Yi; Ting Zhu 001; Sheng Xiao (INFOCOM, 2015)

A Software Approach to Defeating Side Channels in Last-Level Caches. - Ziqiao Zhou; Michael K. Reiter; Yinqian Zhang (CCS, 2016)

Static Evaluation of Noninterference Using Approximate Model Counting. - Ziqiao Zhou; Zhiyun Qian; Michael K. Reiter; Yinqian Zhang (IEEE Symposium on Security and Privacy, 2018)

Dynamic Network Change Detection via Dynamic Network Representation Learning. - Hao Feng; Yan Liu; Ziqiao Zhou; Jing Chen (ChinaCom (1), 2019)

Dynamic Enhanced Field Division: An Advanced Localizing and Tracking Middleware. - Qingquan Zhang; Yao Yao 009; Ting Zhu 001; Ziqiao Zhou; Wei Xu; Ping Yi; Sheng Xiao (ACM Trans. Sens. Networks, 2019)

Evaluating Information Leakage by Quantitative and Interpretable Measurements. - Ziqiao Zhou (2020)

Interpretable noninterference measurement and its application to processor designs. - Ziqiao Zhou; Michael K. Reiter (Proc. ACM Program. Lang., 2021)

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 (OSDI, 2023)

Leveraging Large Language Models for Automated Proof Synthesis in Rust. - Jianan Yao; Ziqiao Zhou; Weiteng Chen; Weidong Cui (CoRR, 2023)

E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification. - Yu Hao 006; Weiteng Chen; Ziqiao Zhou; Weidong Cui (CoRR, 2023)

Learning a Dynamic Neural Human via Poses Guided Dual Spaces Feature. - Caoyuan Ma; Runqi Wang; Wu Liu; Ziqiao Zhou; Zheng Wang 007 (AVSS, 2024)

VeriSMo: A Verified Security Module for Confidential VMs. - Ziqiao Zhou; Anjali; Weiteng Chen; Sishuai Gong; Chris Hawblitzel; Weidong Cui (OSDI, 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 024; Ziqiao Zhou; et al. (CoRR, 2024)

SuperPromptSeg: A Novel Fine-Tuning-Free Segmentation Method Leveraging Superpixel-Based Point Prompts. - Ziqiao Zhou; Min Cen; Yuzhe Zhang; Hong Zhang 037; Xu Steven Xu (ICASSP, 2025)