:)
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.
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 and fine-grained performance isolation within a single application.
- Gongqi Huang, Leon Schuermann, Amit Levy. Bridge: A Leak-Free Hardware-Software Architecture for Parallel Embedded Systems. The 2nd Workshop on Kernel Isolation, Safety and Verification (KISV'24).
- Yigong Hu, Gongqi Huang, Peng Huang. Pushing Performance Isolation Boundaries into Application with pBox. The 29th ACM Symposium on Operating Systems Principles (SOSP'23).
- Yigong Hu, Gongqi Huang, Peng Huang. Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution. The 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20).