操作系统、系统虚拟化、系统安全

2010.9-2014.6 南京大学, 软件工程，学士学位

2014.9-2020.3 上海交通大学，计算机科学与技术，博士学位

Conferences

1. [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.
2. [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.
3. [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]
4. [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.

Journals

1. [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.