Mitigating Cache Side-Channel Leakage in Speculative Execution Pipelines via Hardware-Enforced Memory Access Partitioning

Authors

  • Robin Phillips Professor
  • Chris Hall PhD
  • Avery Rodriguez Associate Professor
  • Sam Lopez D.Sc

Keywords:

speculative execution security, cache side-channel attacks, transient execution vulnerabilities, microarchitectural isolation, last-level cache partitioning, hardware-enforced memory protection, Spectre mitigation, covert channel elimination, out-of-order processor security

Abstract

Speculative execution vulnerabilities, exemplified by Spectre-class and Meltdown-class exploits, continue to undermine the security guarantees of modern out-of-order processors despite numerous microcode patches and compiler-level mitigations. This paper formalizes the threat model for transient execution attacks targeting shared last-level cache (LLC) structures and proposes a hardware-enforced memory access partitioning (HMAP) mechanism that isolates speculative memory traces at the microarchitectural level. HMAP integrates a tagged partition table within the cache hierarchy, enforced by a lightweight finite-state machine embedded in the memory order buffer. Evaluated across SPEC CPU 2017 benchmarks and a suite of synthetic side-channel workloads, HMAP achieves a 94.7% reduction in exploitable cache timing covert channels while incurring a mean runtime overhead of 2.3%, demonstrating practical deployability for security-critical computing environments.

Author Biographies

Robin Phillips, Professor

Professor
Technische Universität München
Arcisstraße 21, 80333 Munich, Bavaria, Germany

Chris Hall, PhD

PhD
Korea Advanced Institute of Science and Technology (KAIST)
291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea

Avery Rodriguez, Associate Professor

Associate Professor
University of Waterloo
200 University Avenue West, Waterloo, Ontario N2L 3G1, Canada

Sam Lopez, D.Sc

D.Sc
Delft University of Technology (TU Delft)
Mekelweg 5, 2628 CD Delft, South Holland, Netherlands

References

Semeniuk, V. V. (2025). OPTIMIZATION OF LOCAL DEVELOPMENT PROCESS USING DOCKER PHP IMAGE THAT COMES WITH A FULL SET OF TOOLS OUT OF THE BOX–PERFORMANCE AND OPTIMIZATION EXTENSIONS. ІНФОРМАЦІЙНЕ ЗАБЕЗПЕЧЕННЯ БАГАТОІНДЕКСНОЇ ТРАНСПОРТНОЇ ЗАДАЧІ З НЕЧІТКИМИ ІНТЕРВАЛАМИ.

Published

2025-02-11

Issue

Section

Articles