HyperEnclave: An Open and Cross-platform Trusted Execution Environment. - Yuekai Jia; Shuang Liu; Wenhao Wang 001; Yu Chen 004; Zhengde Zhai; Shoumeng Yan; Zhengyu He (USENIX ATC, 2022)

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. - Zhenyang Dai; Shuang Liu; Vilhelm Sjöberg; Xupeng Li; Yu Chen 004; Wenhao Wang 001; Yuekai Jia; Sean Noble Anderson; Laila Elbeheiry; Shubham Sondhi; Yu Zhang; Zhaozhong Ni; et al. (ASPLOS (2), 2024)

Skyloft: A General High-Efficient Scheduling Framework in User Space. - Yuekai Jia; Kaifu Tian; Yuyang You; Yu Chen 004; Kang Chen (SOSP, 2024)