关注
Xuheng Li
Xuheng Li
Columbia University
在 cs.columbia.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
Design and verification of the arm confidential compute architecture
X Li, X Li, C Dall, R Gu, J Nieh, Y Sait, G Stockwell
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022
1012022
Spoq: Scaling {Machine-Checkable} Systems Verification in Coq
X Li, X Li, W Qiang, R Gu, J Nieh
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023
52023
Enabling Realms with the Arm Confidential Compute Architecture
X Li, X Li, C Dall, R Gu, J Nieh, Y Sait, G Stockwell
2
系统目前无法执行此操作，请稍后再试。
文章 1–3