BrainFlux: An Integrated Data Warehousing Infrastructure for Dynamic Health Data J Elmer, Q Zhou, Y Zhang, F Yang, VI Zadorozhny New Trends in Databases and Information Systems: ADBIS 2019 Short Papers …, 2019 | 2 | 2019 |
CtChecker: a precise, sound and efficient static analysis for constant-time programming Q Zhou, S Dang, D Zhang Proceedings of the European Conference on Object-Oriented Programming, 2024 | 1 | 2024 |
AGORA: Open More and Trust Less in Binary Verification Service H Chen, Q Zhou, S Yang, X Han, F Zhang, D Zhang, X Wang arXiv preprint arXiv:2407.15062, 2024 | | 2024 |
Athena: Analyzing and Quantifying Side Channels of Transport Layer Protocols F Yu, Q Zhou, SR Hussain, D Zhang 33rd USENIX Security Symposium (USENIX Security 24), 3117-3133, 2024 | | 2024 |
TALISMAN: Tamper Analysis for Reference Monitors F Capobianco, Q Zhou, A Basu, T Jaeger, D Zhang Proceedings of Network and Distributed System Security (NDSS) Symposium, 2024 | | 2024 |