操作系统、微内核和虚拟化。
EPC oversubscription: 支持虚拟化环境下Intel SGX安全内存在多个虚拟机之间的动态分配。
本科毕业设计。
Underbridge: 利用Intel MPK技术提高微内核服务间的IPC性能。
被ATC 2020接收,第二作者。https://www.usenix.org/system/files/atc20-gu.pdf。
Enclavisor: 在AMD架构下构建enclave,同时关注安全性与高性能。
被TC 2020接收,第二作者。https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9178442。