Quan Zhou -

Registered user since Tue 21 May 2024

Name:Quan Zhou

Affiliation:Penn State University

GitHub: https://github.com/isolachine

Research interests:Security

Contributions

2025

SPLASH

Author of Agora: Trust Less and Open More in Verification for Confidential Computing within the OOPSLA-track

2024

ECOOP

Author of CtChecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming within the Technical Papers-track