:)

Hello, this is Gongqi. I am a 3rd year Computer Science PhD student at Princeton with interests in building secure and efficient systems, working with Amit Levy. I am currently hacking on a secure system architecture that closes timing channels by construction [1] and a program enhancer that is aware of side-channel leakage [2].

Previously I have been working on a cloud architecture to secure user data end-to-end. Before joining Princeton, I worked on an automated misconfiguration checker [4] and fine-grained performance isolation within a single application [3].

CV

  1. Bridge: A Leak-Free Hardware-Software Architecture for Parallel Embedded Systems. With Leon Schuermann, Amit Levy. In The 2nd Workshop on Kernel Isolation, Safety and Verification (KISV'24). [paper] [slides]
  2. Incentivizing Side-Channel Freedom with Leakage-Aware Computation. With Jingyuan Chen, Amit Levy. In Wild and Crazy Ideas Session at ASPLOS 2025 (WACI'25). [paper] [slides]
  3. Pushing Performance Isolation Boundaries into Application with pBox. With Yigong Hu, Peng Huang. In The 29th ACM Symposium on Operating Systems Principles (SOSP'23). [paper]
  4. Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution. With Yigong Hu, Peng Huang. In The 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20). [paper]
Track my life's progress on gongqi.life.