LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection
Authors:
- 1 May 2020
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 54-72
Abstract
The recent Spectre attack first showed how to inject incorrect branch targets into a victim domain by poisoning microarchitectural branch prediction history. In this paper, we generalize injection-based methodologies to the memory hierarchy by directly injecting incorrect, attacker-controlled values into a victim’s transient execution. We propose Load Value Injection (LVI) as an innovative technique to reversely exploit Meltdown-type microarchitectural data leakage. LVI abuses that faulting or assisted loads, executed by a legitimate victim program, may transiently use dummy values or poisoned data from various microarchitectural buffers, before eventually being re-issued by the processor. We show how LVI gadgets allow to expose victim secrets and hijack transient control flow. We practically demonstrate LVI in several proof-of-concept attacks against Intel SGX enclaves, and we discuss implications for traditional user process and kernel isolation. State-of-the-art Meltdown and Spectre defenses, including widespread silicon-level and microcode mitigations, are orthogonal to our novel LVI techniques. LVI drastically widens the spectrum of incorrect transient paths. Fully mitigating our attacks requires serializing the processor pipeline with lfence instructions after possibly every memory load. Additionally and even worse, due to implicit loads, certain instructions have to be blacklisted, including the ubiquitous x86 ret instruction. Intel plans compiler and assembler-based full mitigations that will allow at least SGX enclave programs to remain secure on LVI-vulnerable systems. Depending on the application and optimization strategy, we observe extensive overheads of factor 2 to 19 for prototype implementations of the full mitigation.Keywords
This publication has 25 references indexed in Scilit:
- SGX-Step2017
- CacheZoom: How SGX Amplifies the Power of Cache Attacks2017
- KASLR is Dead: Long Live KASLR2017
- Malware Guard Extension: Using SGX to Conceal Cache Attacks2017
- Declarative fence insertion2015
- Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems2015
- Flipping bits in memory without accessing themACM SIGARCH Computer Architecture News, 2014
- Jump-oriented programming2011
- Highly accurate data value prediction using hybrid predictors2002
- Value locality and load value predictionACM SIGPLAN Notices, 1996