中文
相关论文

相关论文: SmashEx: Smashing SGX Enclaves Using Exceptions

200 篇论文

Mitigating memory-access attacks on the Intel SGX architecture is an important and open research problem. A natural notion of the mitigation is cache-miss obliviousness which requires the cache-misses emitted during an enclave execution are…

密码学与安全 · 计算机科学 2017-11-15 Ju Chen , Yuzhe Tang , Hao Zhou

Trusted execution environments (TEEs) are an integral part of modern secure processors. They ensure that their application and code pages are confidential, tamper proof and immune to diverse types of attacks. In 2021, Intel suddenly…

密码学与安全 · 计算机科学 2024-07-19 Ani Sunny , Nivedita Shrivastava , Smruti R. Sarangi

Forking attacks against TEEs like Intel SGX can be carried out either by rolling back the application to a previous state, or by cloning the application and by partitioning its inputs across the cloned instances. Current solutions to…

密码学与安全 · 计算机科学 2023-10-05 Samira Briongos , Ghassan Karame , Claudio Soriente , Annika Wilde

We explore the use of SGX enclaves as a means to improve the security of handling keys and data in storage systems. We study two main configurations for SGX computations, as they apply to performing data-at-rest encryption in a storage…

密码学与安全 · 计算机科学 2018-06-29 Danny Harnik , Eliad Tsfadia , Doron Chen , Ronen Kat

Trusted Execution Environments (TEEs), such as Intel's Software Guard Extensions (SGX), are increasingly being adopted to address trust and compliance issues in the public cloud. Intel SGX's second generation (SGXv2) addresses many…

This paper shows how an attacker can break the confidentiality of a hardware enclave with Membuster, an off-chip attack based on snooping the memory bus. An attacker with physical access can observe an unencrypted address bus and extract…

密码学与安全 · 计算机科学 2019-12-05 Dayeol Lee , Dongha Jung , Ian T. Fang , Chia-Che Tsai , Raluca Ada Popa

Intel SGX Guard eXtensions (SGX), a hardware-supported trusted execution environment (TEE), is designed to protect security-sensitive applications. However, since enclave applications are developed with memory unsafe languages such as…

密码学与安全 · 计算机科学 2020-05-14 Huibo Wang , Mingshen Sun , Qian Feng , Pei Wang , Tongxin Li , Yu Ding

Trusted Execution Environments (TEEs) are gaining popularity as an effective means to provide confidentiality in the cloud. TEEs, such as Intel SGX, suffer from so-called rollback and cloning attacks (often referred to as forking attacks).…

密码学与安全 · 计算机科学 2026-01-15 Annika Wilde , Samira Briongos , Claudio Soriente , Ghassan Karame

Process-based confidential computing enclaves such as Intel SGX can be used to protect the confidentiality and integrity of workloads, without the overhead of virtualisation. However, they introduce a notable performance overhead,…

密码学与安全 · 计算机科学 2021-12-15 Jakob Svenningsson , Nicolae Paladi , Arash Vahidi

Cloud computing offers resource-constrained users big-volume data storage and energy-consuming complicated computation. However, owing to the lack of full trust in the cloud, the cloud users prefer privacy-preserving outsourced data…

密码学与安全 · 计算机科学 2021-06-29 Wenxiu Ding , Wei Sun , Zheng Yan , Robert H. Deng

Recent attacks have broken process isolation by exploiting microarchitectural side channels that allow indirect access to shared microarchitectural state. Enclaves strengthen the process abstraction to restore isolation guarantees. We…

密码学与安全 · 计算机科学 2019-08-30 Thomas Bourgeat , Ilia Lebedev , Andrew Wright , Sizhuo Zhang , Arvind , Srinivas Devadas

Trusted Execution Environments, such as Intel SGX, use hardware supports to ensure the confidentiality and integrity of applications against a compromised cloud system. However, side channels like access patterns remain for adversaries to…

密码学与安全 · 计算机科学 2023-08-15 AKM Mubashwir Alam , Justin Boyce , Keke Chen

Enclaves have emerged as a particularly compelling primitive to implement trusted execution environments: strongly isolated sensitive user-mode processes in a largely untrusted software environment. While the threat models employed by…

密码学与安全 · 计算机科学 2018-12-31 Ilia Lebedev , Kyle Hogan , Jules Drean , David Kohlbrenner , Dayeol Lee , Krste Asanović , Dawn Song , Srinivas Devadas

New trusted computing primitives such as Intel SGX have shown the feasibility of running user-level applications in enclaves on a commodity trusted processor without trusting a large OS. However, the OS can still compromise the integrity of…

密码学与安全 · 计算机科学 2019-09-23 Shweta Shinde , Shengyi Wang , Pinghai Yuan , Aquinas Hobor , Abhik Roychoudhury , Prateek Saxena

Trusted Execution Environments (TEEs) allow user processes to create enclaves that protect security-sensitive computation against access from the OS kernel and the hypervisor. Recent work has shown that TEEs are vulnerable to side-channel…

密码学与安全 · 计算机科学 2023-12-20 Shujie Cui , Haohua Li , Yuanhong Li , Zhi Zhang , Lluís Vilanova , Peter Pietzuch

Computer systems often provide hardware support for isolation mechanisms like privilege levels, virtual memory, or enclaved execution. Over the past years, several successful software-based side-channel attacks have been developed that…

密码学与安全 · 计算机科学 2020-01-30 Matteo Busi , Job Noorman , Jo Van Bulck , Letterio Galletta , Pierpaolo Degano , Jan Tobias Mühlberg , Frank Piessens

Fault-injection attacks have been proven in the past to be a reliable way of bypassing hardware-based security measures, such as cryptographic hashes, privilege and access permission enforcement, and trusted execution environments. However,…

密码学与安全 · 计算机科学 2019-12-11 Zijo Kenjar , Tommaso Frassetto , David Gens , Michael Franz , Ahmad-Reza Sadeghi

Novel confidential computing technologies such as Intel TDX, AMD SEV, and Arm CCA have recently emerged. In practice, due to its minimal trust boundaries, Intel SGX still remains widely used for enclave-based applications in cloud…

密码学与安全 · 计算机科学 2026-05-11 Matti Schulze , Thorsten Holz , Felix Freiling

Browsers, Library OSes, and system emulators rely on sandboxes and in-process isolation to emulate system resources and securely isolate untrusted components. All access to system resources like system calls (syscall) need to be securely…

密码学与安全 · 计算机科学 2024-06-12 Fangfei Yang , Anjo Vahldiek-Oberwagner , Chia-Che Tsai , Kelly Kaoudis , Nathan Dautenhahn

Adversaries with physical access to a target platform can perform cold boot or DMA attacks to extract sensitive data from the RAM. In response, several main-memory encryption schemes have been proposed to prevent such attacks. Also hardware…

密码学与安全 · 计算机科学 2016-12-13 Robert Buhren , Shay Gueron , Jan Nordholz , Jean-Pierre Seifert , Julian Vetter