===== Zhichao Hua (华志超) ===== Associate Professor\\ Shanghai Jiao Tong University\\ 800 Dongchuan Road, Minhang District, Shanghai, P.R.China\\ Zip/Postal Code: 200240\\ Email: [[zchua at sjtu dot edu dot cn]]\\ \\ ===== About Me ===== I am an associate professor at Shanghai Jiao Tong University. I received my Ph.D. degree in computer science from Shanghai Jiao Tong University in 2020. My research area includes the agent OS, system for LLM and heterogeneous systems. ===== Teaching ===== * CS3601 Operating System (2022 fall, 2023 fall, 2024 fall, 2025 fall) * EI6711 Advanced Operating System (2024 spring, 2025 spring) ===== Professional Services ===== * TPC of APSys 2025 * TPC of SysTEX 2025 * TPC of SIGOPS ChinaSys 2024 * Transaction Reviewer of Journal of Systems Architecture: Embedded Software Design * Transaction Reviewer of CCF Transactions on High Performance Computing ===== Research Interests ===== **HW/SW Co-Design for System Isolation** I use hardware-software co-design to build a more efficient isolation framework for the operating system. For kernel-level isolation, I propose ** [[https://dl.acm.org/doi/10.1145/3579371.3589050|ISA-Grid[ISCA'23]]]** to construct bit-level isolation domains for instructions and registers, which isolate different kernel components and kernel modules. I also propose **[[https://www.usenix.org/system/files/conference/atc18/atc18-hua.pdf|EPTI[ATC'18]]]** to isolate the kernel of unpatched VMs from user-level Meltdown attacks using the Intel VMFUNC instruction. For user-level isolation, I propose **[[https://link.springer.com/article/10.1007/s11432-019-2707-6 |TZ-Container[SCIS'21]]]** to isolate containers from untrusted OS with ARM TrustZone. I introduce ** [[https://dl.acm.org/doi/10.1145/3623278.3624762|CPS[ASPLOS'23]]]** to make VM isolation more efficient in many core systems. I also propose **[[https://ieeexplore.ieee.org/document/8980352|XPC[ISCA'19]]]** and its follow-up work **[[https://dl.acm.org/doi/full/10.1145/3532861|[TOCS'22]]]** to provide fast cross-domain call extensions and to speed up the IPC (Inter-Procedure Call) for existing OSes. **Trusted Execution Environment (TEE)** I focus on building practical TEE systems and their applications. I first try to enable high-performance TEEs in more scenarios using legacy hardware. For the virtualization environment, I propose **[[https://www.usenix.org/system/files/conference/usenixsecurity17/sec17-hua.pdf|vTZ[Security'2017]]]**, which is the first secure virtualization system for ARM TrustZone, to enable TrustZone for each VM. The **[[https://ieeexplore.ieee.org/abstract/document/8023125|SGXMigration[DSN'2017]]]** is proposed to securely migrate a VM, together with its TEEs. For the OS kernel, I propose **[[https://ieeexplore.ieee.org/abstract/document/9340405|COLONY[TC'22]]]** to construct TEE instances at the kernel level to protect OS services. For the heterogeneous environment, I propose **XpuTEE(TOCS'25)** to build TEEs across CPU and GPU. Based on these TEEs, I have built various high-performance secure systems, such as decentralized file systems, data sharing systems, and LLM inference systems. ===== Selected Papers ===== * [**ACM TOCS**] XpuTEE: A High-Performance and Practical Heterogeneous Trusted Execution Environment for GPUs. Shulin Fan, **Zhichao Hua***, Yubin Xia, Haibo Chen. ACM Transactions on Computer Systems.2025. * [**ASPLOS**] CPS: A Cooperative Para-virtualized Scheduling Framework for Manycore Machines. Yuxuan Liu, Tianqiang Xu, Zeyu Mi, **Zhichao Hua**, Binyu Zang, Haibo Chen. The 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, April 2024. [ [[https://dl.acm.org/doi/10.1145/3623278.3624762|pdf]] ] * [**ISCA**] ISA-grid: Architecture of Fine-grained Privilege Control for Instructions and Registers. Shulin Fan, **Zhichao Hua***, Yubin Xia, Haibo Chen, Binyu Zang. The 50th International Symposium on Computer Architecture (ISCA),June 17–21, 2023, Orlando, FL, USA.[ [[https://dl.acm.org/doi/10.1145/3579371.3589050|pdf]] ] * [**ICPADS**] SecDFS: A Secure and Decentralized File System. Shenglong Zhao, **Zhichao Hua***, Yubin Xia. 2023 IEEE 29th International Conference on Parallel and Distributed Systems (ICPADS), Ocean Flower Island, China, 2023. [ [[https://ieeexplore.ieee.org/abstract/document/10476310|pdf]] ] * [**ACM TOCS**] Boosting Inter-Process Communication with Architectural Support. Yubin Xia, Dong Du, **Zhichao Hua**, Binyu Zang, Haibo Chen, Haibing Guan. ACM Transactions on Computer Systems.2022. [ [[https://dl.acm.org/doi/full/10.1145/3532861|pdf]] ] * [**IEEE TC**] COLONY: A Privileged Trusted Execution Environment with Extensibility. Yubin Xia, **Zhichao Hua***, Jinyu Gu, Haibo Chen, Binyu Zang. IEEE TRANSACTIONS ON COMPUTERS, 2022. [ [[https://ieeexplore.ieee.org/abstract/document/9340405|pdf]] ] * [**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, 2021. [ [[https://link.springer.com/article/10.1007/s11432-019-2707-6|pdf]] ] * [**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 ACM/IEEE International Symposium on Computer Architecture, Phoenix, Arizona, USA. June 22-26, 2019. [ [[https://ieeexplore.ieee.org/document/8980352|pdf]] ] * [**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 [ [[https://www.usenix.org/system/files/conference/atc18/atc18-hua.pdf|pdf]] ] * [**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. [ [[https://www.usenix.org/system/files/conference/usenixsecurity17/sec17-hua.pdf|pdf]] ] * [**DSN**] Secure Live Migration of SGX Enclaves on Untrusted Cloud. Jinyu Gu, **Zhichao Hua**, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan, Jinming Li. The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, June 26-29, 2017. Denver, CO, USA. [ [[https://ieeexplore.ieee.org/abstract/document/8023125|pdf]] ]