OSDI '23 - Honeycomb: Secure and Efficient GPU Executions via Static Validation

OSDI '23 - Honeycomb: Secure and Efficient GPU Executions via Static Validation

Haohui Mai, PrivacyCore Inc., Jiacheng Zhao, SKLP, Institute of Computing Technology, CAS; Zhongguancun Laboratory; and UCAS, Hongren Zheng, IIIS, Tsinghua University, Yiyang Zhao, SKLP, Institute of Computing Technology, CAS; and UCAS, Zibin Liu, BUPT, Mingyu Gao, IIIS, Tsinghua University, Cong Wang, IDEA Shenzhen, Huimin Cui, SKLP, Institute of Computing Technology, CAS; and UCAS, Xiaobing Feng, SKLP, Institute of Computing Technology, CAS; Zhongguancun Laboratory; and UCAS, Christos Kozyrakis, PrivacyCore …

computing gao gpu technology tsinghua university university validation