Ziqiao Zhou

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 12

Top Topics

Language Models For Information Retrieval

Sufficiently Small

Static Analysis

Top Venues

Publications

Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
VeriSMo: A Verified Security Module for Confidential VMs. OSDI (2024)
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
Leveraging Large Language Models for Automated Proof Synthesis in Rust. CoRR (2023)
Yu Hao, Weiteng Chen, Ziqiao Zhou, Weidong Cui
E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification. CoRR (2023)
Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud. OSDI (2023)
Ziqiao Zhou, Michael K. Reiter
Interpretable noninterference measurement and its application to processor designs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Hao Feng, Yan Liu, Ziqiao Zhou, Jing Chen
Dynamic Network Change Detection via Dynamic Network Representation Learning. ChinaCom (1) (2019)
Qingquan Zhang, Yao Yao, Ting Zhu, Ziqiao Zhou, Wei Xu, Ping Yi, Sheng Xiao
Dynamic Enhanced Field Division: An Advanced Localizing and Tracking Middleware. ACM Trans. Sens. Networks 15 (1) (2019)
Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang
Static Evaluation of Noninterference Using Approximate Model Counting. IEEE Symposium on Security and Privacy (2018)
Ziqiao Zhou, Michael K. Reiter, Yinqian Zhang
A software approach to defeating side channels in last-level caches. CoRR (2016)
Ziqiao Zhou, Michael K. Reiter, Yinqian Zhang
A Software Approach to Defeating Side Channels in Last-Level Caches. CCS (2016)
Qingquan Zhang, Ziqiao Zhou, Wei Xu, Jing Qi, Chenxi Guo, Ping Yi, Ting Zhu, Sheng Xiao
Fingerprint-free tracking with dynamic enhanced field division. INFOCOM (2015)
Qingquan Zhang, Wei Xu, Zhichuan Huang, Ziqiao Zhou, Ping Yi, Ting Zhu, Sheng Xiao
Context-Centric Target Localization with Optimal Anchor Deployments. ICNP (2015)
Ziqiao Zhou, Mengjun Xie, Ting Zhu, Wei Xu, Ping Yi, Zhichuan Huang, Qingquan Zhang, Sheng Xiao
EEP2P: An energy-efficient and economy-efficient P2P network protocol. IGCC (2014)
Ping Yi, Minjie Yu, Ziqiao Zhou, Wei Xu, Qingquan Zhang, Ting Zhu
A Three-Dimensional Wireless Indoor Localization System. J. Electr. Comput. Eng. 2014 (2014)