Hey you, you’ve just stumbled into my web space! My name is Gongqi, a 4^th year Ph.D. student at Princeton University, with interests in building secure and efficient systems while leveraging modern hardware and programming languages.

I am currently hacking on a secure and practical hardware-software codesign to free tiny devices from the entire class of logical timing channels by construction [5]. Meanwhile, I am building a runtime auditing tool for cache side-channel leakage [4] and porting Clash to CIRCT [1]. Previously I have been working on a cloud architecture that secures user data end-to-end, leveraging Decentralized Information Flow Control [6]. Before joining Princeton, I worked on an automated misconfiguration checker [2] and intra-application performance isolation [3] for system software.