arrow
返回

A Hardware-Based Correct Execution Environment Supporting Virtual Memory

delete2024-01-01
delete0
delete
OA
AI
D
Daehyeon Lee
O
Ohsuk Shin
Y
Yeonghyeon Cha
J
Jung­hee Lee *
T
Taisic Yun
J
Jihye Kim
H
Hyunok Oh
C
Chrysostomos Nicopoulos
S
Sang Su Lee
DOI:10.1109/ACCESS.2024.3443509delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
The rapid increase in data generation has led to outsourcing computation to cloud service providers, allowing clients to handle large tasks without investing resources. However, this brings up security concerns, and while there are solutions like fully homomorphic encryption and specific task-oriented methods, challenges in optimizing performance and enhancing security models remain for widespread industry adoption. Outsourcing computations to an untrusted remote computer can be risky, but attestation techniques and verifiable computation schemes aim to ensure the correct execution of outsourced computations. Nevertheless, the latter approach incurs significant overhead in generating a proof for the client. To minimize this overhead, the concept of a Correct Execution Environment (CEE) has been proposed (CEEv1), which omits proof generation for trusted parts of the prover. This paper proposes a new hardware-based CEE (CEEv2) that supports virtual memory and uses an inverted page table mechanism to detect, or prevent, illegal modifications to page mappings. The proposed mechanism supports virtual memory and thwarts virtual-to-physical mapping attacks, while minimizing software modifications. The paper also compares the proposed mechanism to other similar mechanisms used in AMD's SEV-SNP and Intel's SGX.
Keyword:
Operating systems
Hardware
Security
Memory management
Threat modeling
Servers
Data processing
Outsourcing
Cloud computing
Trusted computing
verifiable computation
isolation

期刊

IEEE Access 封面图
IEEE Access
IF:
3.6
论文数:
9.8W
被引数:
29.4W

机构

K
Korea University
学者数:
3.6W
论文数: 3.8W
被引数: 4.4W
H
hanyang university
学者数:
2.9W
论文数: 2.7W
被引数: 36
K
kookmin university
学者数:
3.0K
论文数: 3.3K
被引数: 2
U
University of Cyprus
学者数:
4.3K
论文数: 5.0K
被引数: 3
学者 查看更多机构
引用论文

引用论文

err分享
err收藏
err分享
err收藏
err分享
err收藏
Practical Verifiable Computation by Using a Hardware-Based Correct Execution Environment
err2020-01-01
err1
errOAAI
errLee, Junghee; Nicopoulos, Chrysostomos; Jeong, Gweonho; Kim, Jihye; Oh, Hyunok
err分享
err收藏
Beam shifting of an anisotropic negative refractive medium
err2005-06-28
err0
PREAI
errH. X. Da; C. Xu; Z. Y. Li; Galina Kraftmakher
err分享
err收藏
Aurora B expression directly correlates with prostate cancer malignancy and influence prostate cell proliferation
err2006-02-15
err0
PREAI
errPaolo Chieffi; Laura Cozzolino; Annamaria Kisslinger; Silvana Libertini; Stefania Staibano; Gelsomina Mansueto; Gaetano De Rosa; Antonia Villacci; Mario Vitale; Spiros Linardopoulos; Giuseppe Portella; Donatella Tramontano
err分享
err收藏
A Survey on the Edge Computing for the Internet of Things
err2018-01-01
err895
PREAI
errYu, Wei; Liang, Fan; He, Xiaofei; Hatcher, William Grant; Lu, Chao; Lin, Jie; Yang, Xinyu
err分享
err收藏
Hydroformylation of myrcene: metal and ligand effects in the hydroformylation of conjugated dienes
err2003-01-01
err0
PREAI
errCláudia M. Foca; Humberto J. V. Barros; Eduardo N. dos Santos; Elena V. Gusevskaya; J. Carles Bayón
err分享
err收藏
学者 查看更多内容