糜泽羽

助理研究员

yzmizeyu@sjtu.edu.cn

个人简介

  • 糜泽羽博士,上海交通大学助理研究员。中国计算机学会CCF会员,ACM会员,IEEE会员。研究兴趣为操作系统、系统虚拟化、系统安全。在包括SOSP、USENIX Security、EuroSys、USENIX ATC、IEEE TDSC等国际著名会议和期刊发表/录用多篇学术论文。

(英文主页)

教育与工作经历

  • 2020年-至今,助理研究员,上海交通大学软件学院
  • 2014年-2020年,博士,上海交通大学软件学院,计算机科学与技术
  • 2010年-2014年,学士,南京大学软件学院,软件工程

部分发表论文

# 表明通讯作者,* 代表由我(协同)指导的学生

会议论文

  • [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. (录用率: 54/348 = 15.5%)
  • [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. (录用率: 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. (录用率: 157/977 = 16.1%)
  • [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. (录用率: 45/207 = 21.7%)
  • [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. (录用率: 62/310 = 20.0%)

期刊论文

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

教学工作

  • 秋季学期,研究生课程,UEFI原理与实践
  • 秋季学期,研究生课程,计算机系统原理
  • 秋季学期,本科生课程,离散数学

国家项目与企业合作情况

  • 负责人,基于智能设备的无服务计算系统研究(国家自然科学基金青年基金项目), 2021-2023
  • 参与,面向城市智能服务的数据治理体系与共享平台(重点研发计划),2020-2023
  • 负责人,基于ARM服务器的虚拟化系统可扩展性优化技术(华为-上海交通大学下一代异构并行操作系统创新实验室合作协项目),2020
  • 负责人,面向ARM云平台的机密虚拟机系统研究(华为-上海交通大学下一代异构并行操作系统创新实验室合作协项目),2021