:)
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].
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 [3] and fine-grained performance isolation within a single application [2].
- 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]
- 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]
- 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]