夏虞斌

教授

xiayubin@sjtu.edu.cn

个人简介

  • 夏虞斌，上海交通大学教授/博导；中国计算机学会CCF高级会员、IEEE会员、ACM会员。主要研究领域是操作系统与系统结构，研究兴趣为通过软硬协同设计增强计算机系统的安全性、隔离性与性能。在 OSDI、SOSP、ISCA、ASPLOS、USENIX ATC、FAST、CCS、NDSS、USENIX Security 等高水平学术会议发表多篇论文。与团队开发的系统包括：RISC-V平台的可信执行环境系统“蓬莱”，直通式进程间调用硬件扩展XPC，启动时间小于1ms的Serverless系统Catalyzer，开源的Serverless性能测试集ServerlessBench，去中心化可信搜索系统DeSearch等。

获得奖励

  • 2022：《麻省理工科技评论》中国“隐私计算科技创新人物”（全国10人）
  • 2022：DSN “时间验证奖”（十年）
  • 2021： 上海交通大学“卓越教学奖”（全校10人）
  • 2019：VEE “最佳论文”奖
  • 2019：中国“互联网+”大学生创新创业大赛全国银奖
  • 2019：上海市“学术带头人”（第2）
  • 2019：上海市技术发明一等奖（第5）
  • 2018：教育部技术发明一等奖（第4）
  • 2015：全国“挑战杯”特等奖指导老师
  • 2014：HPCA “最佳论文奖提名”奖

工作

  • 2022.09－至今：上海交通大学，软件学院，教授
  • 2016.12－2022.09：上海交通大学，软件学院，副教授
  • 2012.09－2016.12：上海交通大学，软件学院，助理教授
  • 2014.04－2014.10：新加坡国立大学，访问学者
  • 2010.08－2012.07：复旦大学，计算机科学与技术博士后流动站，博士后

学历

  • 2004.09－2010.07：北京大学，计算机科学与技术，理学博士
  • 2000.09－2004.07：复旦大学，软件学院，理学学士

学术服务

  • 2023: TPC of OSDI
  • 2023: TPC Co-Chair of ICDCS Track
  • 2022: TSG member of OpenHarmony on confidential computation
  • 2022: TPC Co-Chair of VEE
  • 2022: TPC of EuroSys
  • 2021: TPC of EuroSys, SEED, HPC-China
  • 2020: TPC of EuroSys, VEE, MSST, APSys
  • 2019: TPC of MSST, ChinaSys, NASAC, HPC-China, CRVF
  • 2018: TPC of OSDI, MobiSys, HPC-China
  • 2017: LAC of SOSP; TPC of AsiaCCS, HPC-China
  • 2016: TPC of HPC-China
  • 2014: TPC of ACA, APSys

部分论文

  • [ASPLOS] Dong Du, Qingyuan Liu, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen. Serverless Computing on Heterogeneous Computers. The 27th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS’22).

  • [USENIX ATC] Jinyu Gu, Hao Li, Wentai Li, Yubin Xia, Haibo Chen. EPK: Scalable and Efficient Memory Protection Key. USENIX ATC, 2022.

  • [USENIX Security] Jinyu Gu, Bojun Zhu, Mingyu Li, Wentai Li, Yubin Xia, and Haibo Chen. A Hardware-Software Co-design for Efficient Intra-Enclave Isolation. The 31st USENIX Security Symposium, Boston, MA, USA, 2022.

  • [ACM ToCS] Yubin Xia, Dong Du, Zhichao Hua, Binyu Zang, Haibo Chen, Haibing Guan. Boosting Inter-Process Communication with Architectural Support. ACM Transactions on Computer Systems. 2022.

  • [SOSP] Dingji Li, Zeyu Mi, Yubin Xia, Binyu Zang, Haibo Chen, Haibing Guan. TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM. Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP’21). October 2021.

  • [OSDI] Erhu Feng, Xu Lu, Dong Du, Bicheng Yang, Xueqiang Jiang, Yubin Xia, Binyu Zang, Haibo Chen. Scalable Memory Protection in the PENGLAI Enclave. The 15th USENIX Symposium on Operating Systems Design and Implementation, 2021.[

  • [OSDI] Mingyu Li, Tianxu Zhang, Jinhao Zhu, Cheng Tan, Yubin Xia, Sebastian Angel, Haibo Chen. Bringing Decentralized Search to Decentralized Services. 15th USENIX Symposium on Operating Systems Design and Implementation, 2021.

  • [ISCA] Mingyu Li, Yubin Xia, Haibo Chen. PIE: Confidential Serverless Made Efficient with Plug-In Enclaves. The IEEE/ACM International Symposium on Computer Architecture. 2021.

  • [IEEE TC] Yubin Xia, Zhichao Hua, Yang Yu, Jinyu Gu, Haibo Chen, Binyu Zang, Haibing Guan. Colony: A Privileged Trusted Execution Environment with Extensibility. IEEE Transactions on Computers, Accepted, 2021.

  • [IEEE TC] Jinyu Gu, Xinyue Wu, Bojun Zhu, Yubin Xia, Binyu Zang, Haibing Guan, and Haibo Chen. Enclavisor: A Hardware-software Co-design for Enclaves on Untrusted Cloud. IEEE Transactions on Computers, Accepted, 2021.

  • [ASPLOS] Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting. Dong Du, Tianyi Yu, Yubin Xia, Binyu Zang, Guanglu Yan, Chenggang, Qin, Qixuan Xu, Haibo Chen. Proceedings of the 25th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2020.

  • [ASPLOS] Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX. Youren Shen, Hongliang Tian, Yu Chen, Yubin Xia, Shoumeng Yan, and Kang Chen. Proceedings of the 25th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2020.

  • [USENIX ATC] Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication. Jinyu Gu, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia, Haibo Chen. USENIX Annual Technical Conference, Boston, MA, USA, July 2020.

  • [SCIS] TZ-Container: Protecting Container from Untrusted OS with ARM TrustZone. Zhichao Hua, Yang Yu, Jinyu Gu, Yubin Xia, Haibo Chen, Binyu Zang. SCIENCE CHINA Information Sciences, 2020.

  • [ISCA] XPC: Architectural Support for Secure and Efficient Cross Process Call. Dong Du, Zhichao Hua, Yubin Xia, Binyu Zang, Haibo Chen. Proceedings of the 46th International Symposium on Computer Architecture (ISCA), 2019.

  • [VEE] (Best Paper Award) TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms. Wenhao Li, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang. Proceedings of ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE), 2019.

  • [USENIX ATC] EPTI: Efficient Defence against Meltdown Attack for Unpatched VMs. Zhichao Hua, Dong Du, Yubin Xia, Haibo Chen, and Binyu Zang, 2018 USENIX Annual Technical Conference, Boston, MA, USA, July 2018.

  • [USENIX Security] vTZ: Virtualizing ARM TrustZone. Zhichao Hua, Jinyu Gu, Yubin Xia, Haibo Chen, Binyu Zang and Haibing Guan. Usenix Security Symposium 2017. Vancouver, Canada, August, 2017.

  • [DSN] Secure Live Migration of SGX Enclaves on Untrusted Cloud. Jinyu Gu, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan, Jinming Li. Proceedings of the 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’17). Denver, CO, June, 2017.

  • [MobiSys] VButton: Practical Attestation of User-driven Operations in Mobile Apps. Wenhao Li, Shiyu Luo, Zhichuang Sun, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang, and Haibing Guan, The 16th Annual International Conference on Mobile Systems, Applications, and Services, Munich, Germany, Jun 2018.

  • [JCST] ShadowEth: Private Smart Contract on Public Blockchain. Rui Yuan, Yubin Xia, Haibo Chen, Binyu Zang. Journal of Computer Science and Technology, JCST, 2018.

  • [NDSS] Lei Shi, Yuming Wu, Yubin Xia, Nathan Dautenhahn, Haibo Chen, Binyu Zang, Haibing Guan, Jingming Li. Deconstructing Xen. The Network and Distributed System Security Symposium 2017 (NDSS’17). San Diego, California. March, 2017.

  • [SoCC] Liang Liang, Rong Chen, Haibo Chen, Yubin Xia, Haibing Guan, Binyu Zang, A Case for Virtualizing Persistent Memory, ACM Symposium on Cloud Computing 2016 (SoCC’16), Santa Clara, California, October 5-7, 2016.

  • [FAST] Qingshu Chen, Liang Liang, Yubin Xia, Haibo Chen, Hyunsoo Kim, Mitigating Sync Amplification for Copy-on-write Virtual Disk，The 14th USENIX Conference on File and Storage Technologies (FAST’16)，2016.2.22-2016.2.25. Santa Clara, US, Feb, 2016.

  • [CCS] Yutao Liu, Tianyu Zhou, Kexin Chen, Haibo Chen, Yubin Xia, Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation, Proceedings of the 22th ACM Conference on Computer and Communications Security (CCS’15), Denver, Colorado, US, October, 2015.

  • [ToCC] Yubin Xia, Yutao Liu, Haibing Guan, Yunji Chen, Tianshi Chen, Binyu Zang, Haibo Chen, Secure Outsourcing of Virtual Appliance, IEEE Transactions on Cloud Computing, PP(99), 2015.

  • [ISCA] Wenhao Li, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan. Reducing World Switches in Virtualized Environment with Flexible Cross-world Calls. In the 42nd International Symposium on Computer Architecture (ISCA-15), 2015.

  • [MobiSys] Wenhao Li, Haibo Li, Haibo Chen, Yubin Xia. AdAttester: Secure Online Advertisement Attestation on Mobile Devices Using TrustZone. In Proceedings of the 13th International Conference on Mobile Systems, Applications, and Services (MobiSys-15), 2015.

  • [EuroSys] Yubin Xia, Yutao Liu, Cheng Tan, Mingyang Ma, Haibing Guan, Binyu Zang, Haibo Chen. TinMan: Eliminating Confidential Mobile Data Exposure with Security-oriented Offloading. In Proceedings of the 10th European Conference on Computer Systems (EuroSys-15), 2015.

  • [ICDE] Hao Zhang, Gang Chen, Beng Chin Ooi, Weng-Fai Wong, Shensen Wu, Yubin Xia, “Anti-Caching”-based Elastic Memory Management for Big Data. In International Conference on Data Engineering (ICDE-15), 2015.

  • [APSys] Wenhao Li, Mingyang Ma, Jinchen Han, Yubin Xia, Binyu Zang, Cheng-Kang Chu, Tieyan Li, Feng Bao. Building Trusted Path on Untrusted Device Drivers for Mobile Devices. In Proceedings of the 5th Asia-Pacific Workshop on System (APSys-14), 2014. EI Index: 20143718147098.

  • [APSys] Cheng Tan, Haibo Li, Yubin Xia, Binyu Zang, Cheng-Kang Chu, Tieyan Li, Feng Bao. PreCrime to the Rescue: Defeating Mobile Malware One Step Ahead. In Proceedings of the 5th Asia-Pacific Workshop on System (APSys-14), 2014. EI index: 20143718147095.

  • [HPCA] Yutao Liu, Yubin Xia and Haibo Chen. Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory. In Proceedings of 2014 International Symposium on High Performance Computer Architecture (HPCA-14), 2014. EI Index: 20142917937575.

  • [HPCA] Yubin Xia, Yutao Liu and Haibo Chen. Architecture Support for Guest-Transparent VM Protection from Untrusted Hypervisor and Physical Attacks. In Proceedings of 2013 International Symposium on High Performance Computer Architecture (HPCA-13), February, 2013. EI Index: 20133016526810.

  • [DSN] Yubin Xia, Yutao Liu, Haibo Chen, and Binyu Zang. CFIMon: Detecting Violation of Control Flow Integrity using Performance Counters. In Proceeding of Dependable Systems and Networks (DSN-12), Boston, US, 2012. EI Index: 20124015487877.

  • Yubin Xia, Yutao Liu, Haibo Chen, and Binyu Zang. Defending against VM Rollback Attack, in The Second International Workshop on Dependability of Clouds Data Centers and Virtual Machine Technology (DCDV-12), Boston, US, 2012. EI Index: 20133216576895.

  • Cheng Tan, Yubin Xia and Haibo Chen. TinyChecker: Transparent Protection of VMs against Hypervisor Failures with Nested Virtualization. in The Second International Workshop on Dependability of Clouds Data Centers and Virtual Machine Technology (DCDV-12), Boston, US, 2012. EI Index: 20133216576896.

教学

  • 计算机系统工程（本科必修）
  • 操作系统（本科专业必修）
  • 计算机系统原理（研究生）