Microarchitectural Espionage: FPGA-Based Security Analysis of Branch Prediction in RISC-V Out-of-Order Cores
Overview & Synopsis
Modern processor microarchitectural optimizations, while enhancing performance, inadvertently introduce side channels that can leak sensitive information through timing variations. This paper presents an FPGA-based security testbed for studying branch predictor side-channel vulnerabilities in open-source RISC-V out-of-order cores. We demonstrate a configurable platform built on the Berkeley Out-of-Order Machine (BOOM) core, adapted for resource-constrained FPGA deployment with customizable branch predictor configurations. Through baremetal execution and cycle-accurate timing measurements, we implement and evaluate three classes of timing attacks: Conditional Branch Prediction Attacks (CBPA), Indirect Branch Prediction Attacks (IBPA), and a practical smart-lock application attack. Our results show that simplified one-level predictors exhibit deterministic timing separations of 9 to 17 cycles, enabling perfect secret recovery with 100% accuracy for 16-bit secrets within 500 measurement rounds. We further demonstrate practical attack scenarios, including the extraction of a randomly-generated 4-digit smart-lock code, and evaluate the impact of branch predictor complexity on attack feasibility. This work provides an open-source framework for reproducible microarchitectural security research on RISC-V platforms, enabling evaluation of both attacks and countermeasures.
hal.science)
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Microarchitectural Espionage: FPGA-Based Security Analysis of Branch Prediction in RISC-V Out-of-Order Cores |
|---|---|
| Author / Organization | Mahreen Khan, Muhammad Emir Bin Mohd Shahfie, Maria Mushtaq, Renaud Pacalet, Ludovic Apvrille |
| Subject & Discipline | Multidisciplinary Academic Open Research |
| Categories | Science & Mathematics |
| Publication Year | 2026 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
HAL Open Science
(hal.science)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-45452 |
| Original Source Link | Visit Source Page on hal.science » |