Skip to main content

LVI: Hijacking transient execution through microarchitectural load value injection

Authors

Jo Van Bulck, Daniel Moghimi, Michael Schwarz, Moritz Lipp, Marina Minkin, Daniel Genkin, Yuval Yarom, Berk Sunar, Daniel Gruss and Frank Piessens

University of Michigan

DATA61

Graz University of Technology

KU Leuven

Worcester Polytechnic Institute

The University of Adelaide

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.

BibTeX Entry

  @inproceedings{VanBulck_MSLMGYSGP_20,
    author           = {Van Bulck, Jo and Moghimi, Daniel and Schwarz, Michael and Lipp, Moritz and Minkin, Marina and
                        Genkin, Daniel and Yarom, Yuval and Sunar, Berk and Gruss, Daniel and Piessens, Frank},
    doi              = {https://doi.org/10.1109/SP40000.2020.00089},
    month            = may,
    date             = {2020-5-18},
    year             = {2020},
    title            = {{LVI}: Hijacking Transient Execution through Microarchitectural Load Value Injection},
    address          = {San Francisco},
    pages            = {1452-1470},
    booktitle        = {IEEE Symposium on Security and Privacy},
    paperurl         = {https://ts.data61.csiro.au/publications/csiro_full_text//VanBulck_MSLMGYSGP_20.pdf},
    publisher        = {ACM}
  }

Download

Served by Apache on Linux on seL4.