Pith. sign in

REVIEW 2 cited by

LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1806.07480 v1 pith:DFAC4SZU submitted 2018-06-19 cs.OS cs.ARcs.CR

classification cs.OScs.ARcs.CR
keywords simdcontextregisteroperatinginstructionslazyregistersswitching
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Modern processors utilize an increasingly large register set to facilitate efficient floating point and SIMD computation. This large register set is a burden for operating systems, as its content needs to be saved and restored when the operating system context switches between tasks. As an optimization, the operating system can defer the context switch of the FPU and SIMD register set until the first instruction is executed that needs access to these registers. Meanwhile, the old content is left in place with the hope that the current task might not use these registers at all. This optimization is commonly called lazy FPU context switching. To make it possible, a processor offers the ability to toggle the availability of instructions utilizing floating point and SIMD registers. If the instructions are turned off, any attempt of executing them will generate a fault. In this paper, we present an attack that exploits lazy FPU context switching and allows an adversary to recover the FPU and SIMD register set of arbitrary processes or VMs. The attack works on processors that transiently execute FPU or SIMD instructions that follow an instruction generating the fault indicating the first use of FPU or SIMD instructions. On operating systems using lazy FPU context switching, the FPU and SIMD register content of other processes or virtual machines can then be reconstructed via cache side effects. With SIMD registers not only being used for cryptographic computation, but also increasingly for simple operations, such as copying memory, we argue that lazy FPU context switching is a dangerous optimization that needs to be turned off in all operating systems, if there is a chance that they run on affected processors.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Analyzing and Exploiting Branch Mispredictions in Microcode

    cs.CR 2025-01 conditional novelty 8.0 of 10

    µSpectre is a new class of transient execution attacks that exploits statically-not-taken microcode branches in Intel CPUs, reclassifies known attacks, and adds a microcode defense.

  2. Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors

    cs.CR 2025-09 conditional novelty 7.0 of 10

    LeaSyn synthesizes leakage contracts for RISC-V processor designs that are proved sound and more precise than prior contracts.

Pith tools