KVSEV: A Secure In-Memory Key-Value Store with Secure Encrypted Virtualization

被引:0
作者
You, Junseung [1 ,2 ]
Lee, Kyeongryong [1 ,2 ]
Moon, Hyungon [3 ]
Cho, Yeongpil [4 ]
Paek, Yunheung [1 ,2 ]
机构
[1] Seoul Natl Univ, ECE, Seoul, South Korea
[2] Seoul Natl Univ, ISRC, Seoul, South Korea
[3] UNIST, Seoul, South Korea
[4] Hanyang Univ, Seoul, South Korea
来源
PROCEEDINGS OF THE 2023 ACM SYMPOSIUM ON CLOUD COMPUTING, SOCC 2023 | 2023年
基金
新加坡国家研究基金会;
关键词
Trusted execution environments; Secure Encrypted Virtualization; Key-value store; Confidential computing;
D O I
10.1145/3620678.3624658
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
AMD's Secure Encrypted Virtualization (SEV) is a hardware-based Trusted Execution Environment (TEE) designed to secure tenants' data on the cloud, even against insider threats. The latest version of SEV, SEV-Secure Nested Paging (SEV-SNP), offers protection against mostwell-known attacks such as cold boot and hypervisor-based attacks. However, it remains susceptible to a specific type of attack known as Active DRAM Corruption (ADC), where attackers manipulate memory content using specially crafted memory devices. The in-memory key-value store (KVS) on SEV is a prime target for ADC attacks due to its critical role in cloud infrastructure and the predictability of its data structures. To counter this threat, we propose KVSEV, an in-memory KVS resilient to ADC attacks. KVSEV leverages SNP's Virtual Machine Management (VMM) and attestation mechanism to protect the integrity of key-value pairs, thereby securing the KVS from ADC attacks. Our evaluation shows that KVSEV secures in-memory KVSs on SEV with a performance overhead comparable to other secure in-memory KVS solutions.
引用
收藏
页码:233 / 248
页数:16
相关论文
共 55 条
[1]  
A Micro Devices, 2006, AMD64 architecture programmer's manual, V2
[2]  
AMD, 2020, AMD SEV-SNP: Strengthening VM Isolation with Integrity Protection and More
[3]  
AMD, 2016, AMD Secure Encrypted Virtualization (SEV)-AMD
[4]  
AMDESE, 2016, AMDESE_Linux
[5]  
[Anonymous], 2016, SGX documentation: sgx_create_monotonic_counter
[6]   FastVer: Making Data Integrity a Commodity [J].
Arasu, Arvind ;
Chandramouli, Badrish ;
Gehrke, Johannes ;
Ghosh, Esha ;
Kossmann, Donald ;
Protzenko, Jonathan ;
Ramamurthy, Ravi ;
Ramananandro, Tahina ;
Rastogi, Aseem ;
Setty, Srinath ;
Swamy, Nikhil ;
van Renen, Alexander ;
Xu, Min .
SIGMOD '21: PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2021, :89-101
[7]   Concerto: A High Concurrency Key-Value Store with Integrity [J].
Arasu, Arvind ;
Eguro, Ken ;
Kaushik, Raghav ;
Kossmann, Donald ;
Meng, Pingfan ;
Pandey, Vineet ;
Ramamurthy, Ravi .
SIGMOD'17: PROCEEDINGS OF THE 2017 ACM INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2017, :251-266
[8]  
Bailleu M, 2021, PROCEEDINGS OF THE 2021 USENIX ANNUAL TECHNICAL CONFERENCE, P285
[9]  
Bailleu M, 2019, PROCEEDINGS OF THE 17TH USENIX CONFERENCE ON FILE AND STORAGE TECHNOLOGIES, P173
[10]  
Branco R, 2016, PROCEEDINGS OF THE 2016 IEEE INTERNATIONAL SYMPOSIUM ON HARDWARE ORIENTED SECURITY AND TRUST (HOST), P85, DOI 10.1109/HST.2016.7495562