Research Assistant Professor
Shanghai Jiao Tong University
800 Dongchuan Road, Minhang District, Shanghai, P.R.China
Zip/Postal Code: 200240
Email: yzmizeyu at sjtu dot edu dot cn

I am a research assistant professor in School of Software, Shanghai Jiao Tong University (SJTU). I earned 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.

I am currently looking for self-motivated students who are interested in system virtualization and operating system areas, especially building next-generation virtualized systems to eliminate virtualization tax and achieve strong security. Drop me an E-mail if you have interests to work with me.

Google Scholar | DBLP

• Operating Systems, Fall, 2020.
• Discrete Mathematics (for Computer Science), Fall, 2019, 2020.

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

• [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. USENIX Annual Technical Conference, Boston, MA, USA, July 2020.
• [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. [pdf]
• [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. [pdf]
• [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.

• [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. Accepted, 2018.

• Dingji Li (Ph.D. since 2020)
• Jiahao Chen (Ph.D. since 2020)
• Haoqi Zhuang (Master since 2019)
• Tianqiang Xu (Master since 2020)
• Zebin Li (Master since 2020)
• Zhi Guo (Master since 2021)
• Shaofeng Cen (Master since 2021)
• Yuxuan Liu (Master since 2021)