Implementing a Persistent Key-Value Store in a Tamper-Resistant Device for SGX Enclave Applications

In confidential computing, it is not trivial to provide trusted persistent storage for trusted execution environments (TEEs). Conventional methods utilize the sealing function of TEEs, untrusted storage such as the operating system's file system, and a trusted monotonic counter. These methods have problems such as relying on local monotonic counters with short lifespans and uncertain resistance to shutdown attacks, or requiring complex distributed protocols. To address these problems, this paper proposes implementing persistent storage using a tamper-resistant device. The proposed method provides a persistent key-value store in a tamper-resistant device, thus avoiding complex distributed protocols. The proposed method uses log-structured file system technology on embedded Multi Media Card (eMMC), and achieves extended device lifespan and high resilience against shutdown attacks. As an application of the key-value store, the authors have implemented the basic functions of an electronic voting system that operates within an SGX enclave. This shows that the key-value store possesses sufficient functionality and useful performance.

Authors

Institutions

Publication Details

Published
2025-10-09
DOI
https://doi.org/10.1145/3725783.3764401
Primary Topic
Security and Verification in Computing
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Implementing a Persistent Key-Value Store in a Tamper-Resistant Device for SGX Enclave Applications

Yasushi Shinjo, Yuto Takahashi
Security and Verification in Computing
article

Implementing a Persistent Key-Value Store in a Tamper-Resistant Device for SGX Enclave Applications

Yasushi Shinjo, Yuto Takahashi
article en

Abstract

In confidential computing, it is not trivial to provide trusted persistent storage for trusted execution environments (TEEs). Conventional methods utilize the sealing function of TEEs, untrusted storage such as the operating system's file system, and a trusted monotonic counter. These methods have problems such as relying on local monotonic counters with short lifespans and uncertain resistance to shutdown attacks, or requiring complex distributed protocols. To address these problems, this paper proposes implementing persistent storage using a tamper-resistant device. The proposed method provides a persistent key-value store in a tamper-resistant device, thus avoiding complex distributed protocols. The proposed method uses log-structured file system technology on embedded Multi Media Card (eMMC), and achieves extended device lifespan and high resilience against shutdown attacks. As an application of the key-value store, the authors have implemented the basic functions of an electronic voting system that operates within an SGX enclave. This shows that the key-value store possesses sufficient functionality and useful performance.

University of Tsukuba (JP), Tsukuba University of Technology (JP)
Openalex Percentile: Top 85%
Security and Verification in Computing
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Implementing a Persistent Key-Value Store in a Tamper-Resistant Device for SGX Enclave Applications — Yasushi Shinjo, Yuto Takahashi · (2025) | TGRS Research Map | TGRS