Weidong Cui
4 papers
· 2018–2024
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🏃
Academic Marathon
(6)
🐝
Cross-Pollinator
(7)
🌉
Interdisciplinary Bridge
🐣
Hot Topic Early Bird
Conferences
OSDI (4)
Top co-authors
Keywords
formal verification
(2)
binary analysis
(1)
trusted execution environment
(1)
virtual machine
(1)
bare-metal cloud
(1)
state machine replication
(1)
confidential computing
(1)
hardware security
(1)
reverse debugging
(1)
hardware tracing
(1)
error correction
(1)
memory dump
(1)
side channel attack
(1)
resource isolation
(1)
memory safety
(1)
program tracing
(1)
rust programming language
(1)
confidential virtual machine
(1)
secure information flow
(1)
execution history
(1)