| A software approach to defeating side channels in last-level caches Z Zhou, MK Reiter, Y Zhang Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016 | 195 | 2016 |
| Fingerprint-free tracking with dynamic enhanced field division Q Zhang, Z Zhou, W Xu, J Qi, C Guo, P Yi, T Zhu, S Xiao 2015 IEEE Conference on Computer Communications (INFOCOM), 2785-2793, 2015 | 24 | 2015 |
| A three-dimensional wireless indoor localization system P Yi, M Yu, Z Zhou, W Xu, Q Zhang, T Zhu Journal of Electrical and Computer Engineering 2014, 11-11, 2014 | 23 | 2014 |
| EEP2P: An energy-efficient and economy-efficient P2P network protocol Z Zhou, M Xie, T Zhu, W Xu, P Yi, Z Huang, Q Zhang, S Xiao International Green Computing Conference, 1-6, 2014 | 20 | 2014 |
| Static evaluation of noninterference using approximate model counting Z Zhou, Z Qian, MK Reiter, Y Zhang 2018 IEEE Symposium on Security and Privacy (SP), 514-528, 2018 | 14 | 2018 |
| Context-centric target localization with optimal anchor deployments Q Zhang, W Xu, Z Huang, Z Zhou, P Yi, T Zhu, S Xiao 2015 IEEE 23rd International Conference on Network Protocols (ICNP), 396-405, 2015 | 9 | 2015 |
| EEP2P: An Energy-Efficient and Economy-Efficient P2P Network Protocol M Xie, Z Zhou, T Zhu, W Xu, P Yi, Z Huang, Q Zhang, S Xiao IEEE/CIC ICCC, 2014 | 7 | 2014 |
| Core slicing: closing the gap between leaky confidential {VMs} and bare-metal cloud Z Zhou, Y Shan, W Cui, X Ge, M Peinado, A Baumann 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023 | 4 | 2023 |
| Leveraging Large Language Models for Automated Proof Synthesis in Rust J Yao, Z Zhou, W Chen, W Cui arXiv preprint arXiv:2311.03739, 2023 | 2 | 2023 |
| E&v: Prompting large language models to perform static analysis by pseudo-code execution and verification Y Hao, W Chen, Z Zhou, W Cui arXiv preprint arXiv:2312.08477, 2023 | 1 | 2023 |
| Evaluating Information Leakage by Quantitative and Interpretable Measurements Z Zhou The University of North Carolina at Chapel Hill, 2020 | 1 | 2020 |
| Dynamic Enhanced Field Division: An Advanced Localizing and Tracking Middleware Q Zhang, Y Yao, T Zhu, Z Zhou, W Xu, P Yi, S Xiao ACM Transactions on Sensor Networks (TOSN) 15 (1), 1-26, 2018 | 1 | 2018 |
| Protocol-independent anomaly detection J Rhee, LA Tang, Z Chen, CH Kim, LI Zhichun, Z Zhou US Patent 11,297,082, 2022 | | 2022 |
| Interpretable noninterference measurement and its application to processor designs Z Zhou, MK Reiter Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021 | | 2021 |
