Login / Signup
Yuekai Jia
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Database
Aspect Oriented
Execution Environment
Software Package
Top Venues
CoRR
USENIX Annual Technical Conference
ASPLOS (2)
</>
Publications
</>
Zhenyang Dai
,
Shuang Liu
,
Vilhelm Sjöberg
,
Xupeng Li
,
Yu Chen
,
Wenhao Wang
,
Yuekai Jia
,
Sean Noble Anderson
,
Laila Elbeheiry
,
Shubham Sondhi
,
Yu Zhang
,
Zhaozhong Ni
,
Shoumeng Yan
,
Ronghui Gu
,
Zhengyu He
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor.
ASPLOS (2)
(2024)
Yuekai Jia
,
Shuang Liu
,
Wenhao Wang
,
Yu Chen
,
Zhengde Zhai
,
Shoumeng Yan
,
Zhengyu He
HyperEnclave: An Open and Cross-platform Trusted Execution Environment.
USENIX Annual Technical Conference
(2022)
Yuekai Jia
,
Shuang Liu
,
Wenhao Wang
,
Yu Chen
,
Zhengde Zhai
,
Shoumeng Yan
,
Zhengyu He
HyperEnclave: An Open and Cross-platform Trusted Execution Environment.
CoRR
(2022)