Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX
arXiv:1705.07289 · doi:10.1145/3133956.3134038
Abstract
Side-channel risks of Intel's SGX have recently attracted great attention. Under the spotlight is the newly discovered page-fault attack, in which an OS-level adversary induces page faults to observe the page-level access patterns of a protected process running in an SGX enclave. With almost all proposed defense focusing on this attack, little is known about whether such efforts indeed raise the bar for the adversary, whether a simple variation of the attack renders all protection ineffective, not to mention an in-depth understanding of other attack surfaces in the SGX system. In the paper, we report the first step toward systematic analyses of side-channel threats that SGX faces, focusing on the risks associated with its memory management. Our research identifies 8 potential attack vectors, ranging from TLB to DRAM modules. More importantly, we highlight the common misunderstandings about SGX memory side channels, demonstrating that high frequent AEXs can be avoided when recovering EdDSA secret key through a new page channel and fine-grained monitoring of enclave programs (at the level of 64B) can be done through combining both cache and cross-enclave DRAM channels. Our findings reveal the gap between the ongoing security research on SGX and its side-channel weaknesses, redefine the side-channel threat model for secure enclaves, and can provoke a discussion on when to use such a system and how to use it securely.
Accepted to ACM CCS 2017
References in corpus (3)
Cited by in corpus (43)
- Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution
- Precision Health Data: Requirements, Challenges and Existing Techniques for Data Security and Privacy
- SgxPectre Attacks: Stealing Intel Secrets from SGX Enclaves via Speculative Execution
- DarkneTZ: Towards Model Privacy at the Edge using Trusted Execution Environments
- Chiron: Privacy-preserving Machine Learning as a Service
- LightBox: Full-stack Protected Stateful Middlebox at Lightning Speed
- MicroWalk: A Framework for Finding Side Channels in Binaries
- Deconstructing Blockchains: A Comprehensive Survey on Consensus, Membership and Structure
- Efficient Oblivious Database Joins
- Raziel: Private and Verifiable Smart Contracts on Blockchains
- secureTF: A Secure TensorFlow Framework
- PerSpectron: Detecting Invariant Footprints of Microarchitectural Attacks with Perceptron
- Obelix: Mitigating Side-Channels Through Dynamic Obfuscation
- A Hybrid Approach to Secure Function Evaluation Using SGX
- Toward Scalable Fully Homomorphic Encryption Through Light Trusted Computing Assistance
- Quest: Practical and Oblivious Mitigation Strategies for COVID-19 using WiFi Datasets
- Privacy-Preserving Secret Shared Computations using MapReduce
- A Survey of Microarchitectural Side-channel Vulnerabilities, Attacks and Defenses in Cryptography
- MAGE: Mutual Attestation for a Group of Enclaves without Trusted Third Parties
- Visor: Privacy-Preserving Video Analytics as a Cloud Service
- Leaking Control Flow Information via the Hardware Prefetcher
- Keys in the Clouds: Auditable Multi-device Access to Cryptographic Credentials
- KloakDB: A Platform for Analyzing Sensitive Data with -anonymous Query Processing
- AGAPECert: An Auditable, Generalized, Automated, Privacy-Enabling Certification Framework with Oblivious Smart Contracts
- Déjà Vu: Side-Channel Analysis of Mozilla's NSS
- Online Template Attacks: Revisited
- PrivacyGuard: Enforcing Private Data Usage Control with Blockchain and Attested Off-chain Contract Execution
- Frontal Attack: Leaking Control-Flow in SGX via the CPU Frontend
- PIM-Enclave: Bringing Confidential Computation Inside Memory
- It Takes Two to #MeToo - Using Enclaves to Build Autonomous Trusted Systems
- IoT Notary: Attestable Sensor Data Capture in IoT Environments
- Confidential Attestation: Efficient in-Enclave Verification of Privacy Policy Compliance
- SPAM: Stateless Permutation of Application Memory
- An Off-Chip Attack on Hardware Enclaves via the Memory Bus
- OblivCDN: A Practical Privacy-preserving CDN with Oblivious Content Access
- S3ML: A Secure Serving System for Machine Learning Inference
- Towards Efficiently Establishing Mutual Distrust Between Host Application and Enclave for SGX
- Secrecy: Secure collaborative analytics on secret-shared data
- Hollow-LLM Attack: Computationally Trivial Weights in Zero-Knowledge Verification of LLM Inference
- U Can Touch This! Microarchitectural Timing Attacks via Machine Clears
- Concealer: SGX-based Secure, Volume Hiding, and Verifiable Processing of Spatial Time-Series Datasets
- Selectively Delaying Instructions to Prevent Microarchitectural Replay Attacks
- Enjoy the Untrusted Cloud: A Secure, Scalable and Efficient SQL-like Query Framework for Outsourcing Data