IPADS

• Professor
• Institute of Parallel And Distributed Systems (IPADS), School of Software
• Room 3401, Software Building, 800 Dongchuan Rd., Shanghai, China, 200240
• Email: xiayubin at sjtu dot edu dot cn

中文主页

I am a professor in School of Software at Shanghai Jiao Tong University and a member of Institute of Parallel And Distributed Systems (IPADS). My research interests include operating systems, computer architecture. Currently, I'm now focusing on hardware-software co-design for better performance and isolation. Some recent projects by my students and colleagues include the Penglai (蓬莱) RISC-V TEE, the XPC architecture extension for fast IPC, the Catalyzer serverless framework with <1ms startup latency, the ServerlessBench test suit for serverless frameworks, and the DeSearch search engine for web3. I am currently looking for self-motivated students with a good background in computer systems. Please email me if you have interests.

• 2024: TPC of EuroSys
• 2023: TPC of OSDI, APSys
• 2023: TPC Co-Chair of ICDCS Track, with Alysson Bessani
• 2022: TSG member of OpenHarmony on confidential computation
• 2022: TPC Co-Chair of VEE, with Dan Williams
• 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

• NASAC Youth Software Innovation Award, by CCF, 2022.
• A Member of the Privacy-Preserving Computation Tech Innovators China, by MIT Tech Review, 2022.
• Test of Time Award of DSN, 2022.
• Excellence in Teaching Award of Shanghai Jiao Tong University, 2021.
• Best Paper Award of VEE, 2019.
• Shanghai Academic/Technology Research Leader, 2019.
• Technological Invention Award of Ministry of Education (the 1st prize, the 4th inventor), 2018.
• Senior Member of China Computer Federation (CCF), 2018.
• Excellent Teacher Award of SJTU (the 3rd prize), 2016.
• Challenge Cup (special-class award, the 1st prize), 2015.
• Best Paper Nominee Award of HPCA, 2014.

Full List of Publication

• [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. OSDI, 2023.

• [ISCA] Shulin Fan, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang. ISA-grid: Architecture of Fine-grained Privilege Control for Instructions and Registers. ISCA, Orlando, FL, US. 2023.

• [HPCA] Erhu Feng, Dong Du, Yubin Xia, Haibo Chen. Efficient Distributed Secure Memory with Migratable Merkle Tree. The 29th IEEE International Symposium on High-Performance Computer Architecture (HPCA-29), Montreal, QC, Canada. [paper]

• [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). [paper]

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

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

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

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

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

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

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

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

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

• [JCST] Jinyu Gu, Hao Li, Yubin Xia, Haibo Chen, Chenggang Qin, Zhengyu He. Unified Enclave Abstraction and Secure Enclave Migration on Heterogeneous Security Architectures. JCST, 2021. [paper]

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

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

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

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

• [SoCC] Tianyi Yu, Qingyuan Liu, Dong Du, Yubin Xia, Binyu Zang, Ziqian Lu, Pingchao Yang, Chenggang Qin, Haibo Chen. Characterizing Serverless Platforms with ServerlessBench. The Symposium on Cloud Computing (SoCC), 2020. [paper]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• [HPCA] Yutao Liu, Yubin Xia, Haibing Guan, Binyu Zang 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), February, 2014. (Best Paper Nominee)[paper, slide]

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

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