IPADS

Assistant Professor
Shanghai Jiao Tong University
800 Dongchuan Road, Minhang District, Shanghai, P.R.China
Zip/Postal Code: 200240
Email: yz*mizeyu* (remove all *) AT sjtu dot edu dot cn

I am an assistant professor at School of Software, Shanghai Jiao Tong University (SJTU). I obtained my Ph.D. in computer science from SJTU, advised by Prof. Haibo Chen and Prof. Binyu Zang. My research interests include operating systems, system virtualization, and system security. I obtained my bachelor degree in software engineering from Nanjing University in 2014.

Google Scholar | DBLP

• Operating Systems, Spring, 2021-2023.
• Discrete Mathematics (for Computer Science), Fall, 2019-2023.

• ACM Transactions of Storage (TOS)
• IEEE Transactions on Dependable and Secure Computing (TDSC)
• Journal of Computer Science and Technology (JCST)

• Artifact Evaluation Committee, OSDI '22 Artifact Evaluation
• Artifact Evaluation Committee, USENIX ATC '22 Artifact Evaluation

# indicates the corresponding author.

* indicates equal contributions

_ indicates the student I (co-)supervised.

• [ASPLOS] Yuxuan Liu, Tianqiang Xu, Zeyu Mi#, Zhichao Hua, Binyu Zang, Haibo Chen. CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines. The 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, April 2024. (Acceptance rate: 50/238 = 21%)

• [OSDI] Jiahao Chen*, Dingji Li*, Zeyu Mi#, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen. Security and Performance in the Delegated User-level Virtualization. The 17th USENIX Symposium on Operating Systems Design and Implementation, July 2023. (Acceptance rate: 50/255 = 19.6%)
  paper | Featured on "The Next Platform" | GitHub

• [OSDI] Mingyu Li, Xuyang Zhao, Le Chen, Cheng Tan, Huorong Li, Sheng Wang, Zeyu Mi, Yubin Xia, Feifei Li, Haibo Chen. Encrypted Databases Made Secure Yet Maintainable. The 17th USENIX Symposium on Operating Systems Design and Implementation, July 2023. (Acceptance rate: 50/255 = 19.6%)

• [USENIX ATC] Dingji Li, Zeyu Mi#, Chenhui Ji, Yifan Tan, Binyu Zang, Haibing Guan, Haibo Chen. Analysis and Optimization of Network I/O Tax in Confidential Virtual Machines. 2023 USENIX Annual Technical Conference, July 2023. (Acceptance rate: 65/353 = 18.4%)
  paper | GitHub

• [SOSP] Dingji Li, Zeyu Mi#, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan. TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM. The 28th ACM Symposium on Operating System Principles, October 2021. (Acceptance rate: 54/348 = 15.5%)
  paper

• [USENIX ATC] Jinyu Gu, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia# and Haibo Chen. Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. 2020 USENIX Annual Technical Conference, Boston, MA, USA, July 2020. (Acceptance rate: 65/348 = 18.6%)

• [USENIX Security] Zeyu Mi, Dingji Li, Haibo Chen, Binyu Zang, and Haibing Guan#. (Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization. In Proceedings of the 29th USENIX Security Symposium, Boston, MA, USA, August, 2020. (Acceptance rate: 157/977 = 16.1%)
  paper

• [EuroSys] Zeyu Mi, Dingji Li, Zihan Yang, Xinran Wang, and Haibo Chen#. SkyBridge: Fast and Secure Inter-Process Communication for Microkernels. In Proceedings of 14th ACM European Conference on Computer Systems, Dresden, Germany, March, 2019. (Acceptance rate: 45/207 = 21.7%)
  paper

• [AsiaCCS] Sanchuan Chen, Fangfei Liu, Zeyu Mi, Yinqian Zhang, Ruby B. Lee, Haibo Chen, XiaoFeng Wang. Leveraging Hardware Transactional Memory for Cache Side-Channel Defenses. ACM ASIA Conference on Information, Computer and Communications Security, Songdo, Incheon, Korea, June. 2018. (Acceptance rate: 62/310 = 20.0%)

• [IEEE TDSC] Zeyu Mi, Zhi Guo, Fuqian Huang, Haibo Chen#. Hawkeye: Eliminating Kernel Address Leakage in Normal Data Flows. IEEE Transactions on Dependable and Secure Computing, 2022.

• [IEEE TC] Zeyu Mi#, Haoqi Zhuang, Binyu Zang, Haibo Chen. General and Fast Inter-Process Communication via Bypassing Privileged Software. IEEE Transactions on Computers, 2021. link

• [IEEE TDSC] Zeyu Mi, Haibo Chen#, Yinqian Zhang, Shuanghe Peng, Xiaofeng Wang, Michael Reiter. CPU Elasticity to Mitigate Cross-VM Runtime Monitoring. IEEE Transactions on Dependable and Secure Computing, 2018. link

• Dingji Li (PhD student since 2020)
• Jiahao Chen (PhD student since 2020)
• Yixin Song (PhD student since 2022)
• Zhi Guo (MS student since 2021)
• Shaofeng Cen (MS student since 2021)
• Yuxuan Liu (MS student since 2021)
• Yifan Tan (MS student since 2022)
• Chenhui Ji (MS student since 2022)
• Yiyuan Dong (MS student since 2022)
• Yiyan Li (Undergraduate student)
• Yicong Wang (Undergraduate student)

• Zebin Li (MS student from 2020 to 2023)
• Tianqiang Xu (MS student from 2020 to 2023)
• Haoqi Zhuang (MS student from 2019 to 2022)