‪Xuheng Li‬ - ‪Academic Search‬

Get my own profile

Cited by

	All	Since 2020
Citations	108	108
h-index	2	2
i10-index	1	1

0

70

35

20222023202420255 29 68 5

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Xupeng LiColumbia UniversityVerified email at columbia.edu
Jason NiehColumbia UniversityVerified email at cs.columbia.edu
Ronghui GuAssociate Professor of Computer Science, Columbia UniversityVerified email at columbia.edu

Xuheng Li

Xuheng Li

Columbia University

Verified email at cs.columbia.edu

formal verification virtualization confidential computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	101	2022
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	5	2023
Enabling Realms with the Arm Confidential Compute Architecture X Li, X Li, C Dall, R Gu, J Nieh, Y Sait, G Stockwell	2

The system can't perform the operation now. Try again later.

Articles 1–3