Xupeng Li
2 papers
· 2022–2023
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(4)
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
Conferences
OSDI (2)
Top co-authors
Research topics
Keywords
formal verification
(2)
trusted execution environment
(1)
virtual machine
(1)
memory protection
(1)
confidential computing
(1)
hardware security
(1)
virtual machine isolation
(1)
firmware verification
(1)
coq proof assistant
(1)
proof automation
(1)
proof assistant
(1)
llvm translation
(1)
hypervisor verification
(1)
data confidentiality
(1)
relaxed memory hardware
(1)
system software
(1)