中文
相关论文

相关论文: SgxPectre Attacks: Stealing Intel Secrets from SGX…

200 篇论文

Transient execution attacks, also called speculative execution attacks, have drawn much interest as they exploit the transient execution of instructions, e.g., during branch prediction, to leak data. Transient execution is fundamental to…

密码学与安全 · 计算机科学 2020-09-01 Wenjie Xiong , Jakub Szefer

We present uSpectre, a new class of transient execution attacks that exploit microcode branch mispredictions to transiently leak sensitive data. We find that many long-known and recently-discovered transient execution attacks, which were…

密码学与安全 · 计算机科学 2025-01-23 Nicholas Mosier , Hamed Nemati , John C. Mitchell , Caroline Trippel

New hardware primitives such as Intel SGX secure a user-level process in presence of an untrusted or compromised OS. Such "enclaved execution" systems are vulnerable to several side-channels, one of which is the page fault channel. In this…

密码学与安全 · 计算机科学 2016-01-13 Shweta Shinde , Zheng Leong Chua , Viswesh Narayanan , Prateek Saxena

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

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

Whenever modern CPUs encounter a conditional branch for which the condition cannot be evaluated yet, they predict the likely branch target and speculatively execute code. Such pipelining is key to optimizing runtime performance and is…

密码学与安全 · 计算机科学 2018-01-15 Giorgi Maisuradze , Christian Rossow

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

Attacks like Spectre abuse speculative execution, one of the key performance optimizations of modern CPUs. Recently, several testing tools have emerged to automatically detect speculative leaks in commercial (black-box) CPUs. However, the…

密码学与安全 · 计算机科学 2023-01-19 Oleksii Oleksenko , Marco Guarnieri , Boris Köpf , Mark Silberstein

Practical attacks that exploit speculative execution can leak confidential information via microarchitectural side channels. The recently-demonstrated Spectre attacks leverage speculative loads which circumvent access checks to read…

密码学与安全 · 计算机科学 2018-07-11 Vladimir Kiriansky , Carl Waldspurger

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

Speculative attacks such as Spectre can leak secret information without being discovered by the operating system. Speculative execution vulnerabilities are finicky and deep in the sense that to exploit them, it requires intensive manual…

密码学与安全 · 计算机科学 2025-04-04 Evan Lai , Wenjie Xiong , Edward Suh , Mohit Tiwari , Mulong Luo

Spectre v1 attacks, which exploit conditional branch misprediction, are often identified with attacks that bypass array bounds checking to leak data from a victim's memory. Generally, however, Spectre v1 attacks can exploit any conditional…

密码学与安全 · 计算机科学 2021-07-05 Ofek Kirzner , Adam Morrison

Encrypting data before sending it to the cloud protects it against hackers and malicious insiders, but requires the cloud to compute on encrypted data. Trusted (hardware) modules, e.g., secure enclaves like Intel's SGX, can very efficiently…

密码学与安全 · 计算机科学 2017-10-03 Andreas Fischer , Benny Fuhry , Florian Kerschbaum , Eric Bodden

Authors of cryptographic software are well aware that their code should not leak secrets through its timing behavior, and, until 2018, they believed that following industry-standard constant-time coding guidelines was sufficient. However,…

密码学与安全 · 计算机科学 2025-09-11 Shixin Song , Tingzhen Dong , Kosi Nwabueze , Julian Zanders , Andres Erbsen , Adam Chlipala , Mengjia Yan

Modern computing environments demand robust security measures to protect sensitive data and resources. Ciphertext-Policy Attribute-Based Encryption (CP-ABE) is a well-established encryption technique known for its fine-grained access…

密码学与安全 · 计算机科学 2024-09-12 Vivek Suryawanshi , Shamik Sural

Recently discovered Spectre and meltdown attacks affects almost all processors by leaking confidential information to other processes through side-channel attacks. These vulnerabilities expose design flaws in the architecture of modern…

密码学与安全 · 计算机科学 2020-06-03 Bilal Ali Ahmad

The ongoing trend of moving data and computation to the cloud is met with concerns regarding privacy and protection of intellectual property. Cloud Service Providers (CSP) must be fully trusted to not tamper with or disclose processed data,…

密码学与安全 · 计算机科学 2021-07-14 Luca Wilke , Jan Wichelmann , Florian Sieck , Thomas Eisenbarth

Spectre intrusions exploit speculative execution design vulnerabilities in modern processors. The attacks violate the principles of isolation in programs to gain unauthorized private user information. Current state-of-the-art detection…

密码学与安全 · 计算机科学 2022-10-27 Chidera Biringa , Gaspard Baye , Gökhan Kul

New speculation-based attacks that affect large numbers of modern systems are disclosed regularly. Currently, CPU vendors regularly fall back to heavy-handed mitigations like using barriers or enforcing strict programming guidelines…

密码学与安全 · 计算机科学 2023-06-21 Ali Hajiabadi , Archit Agarwal , Andreas Diavastos , Trevor E. Carlson

Protected-module architectures (PMAs) have been proposed to provide strong isolation guarantees, even on top of a compromised system. Unfortunately, Intel SGX -- the only publicly available high-end PMA -- has been shown to only provide…

密码学与安全 · 计算机科学 2017-12-25 Raoul Strackx , Frank Piessens