Skip to main navigation Skip to search Skip to main content

RV-Sec5: Enhancing RISC-V Security Evaluation via Targeted ISA-Level Instrumentation using gem5

  • Telecom Paris
  • DALI/LIRMM
  • Rivos Inc

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The modularity of the RISC-V Instruction Set Architecture (ISA) has accelerated its adoption in security-critical domains, yet it introduces significant challenges for pre-silicon security validation. Current evaluation methods often rely on high-level emulation that overlooks microarchitectural side effects or post-silicon testing that identifies vulnerabilities too late in the design cycle. This paper presents RV-Sec5, a systematic framework for ISA-level security evaluation that leverages the gem5 simulator. Unlike standard simulators, RV-Sec5 introduces a methodology to map high-level security invariants - such as privilege isolation and memory protection - directly to automated, cycle-accurate instrumentation points within the ISA decoder. This approach bridges the semantic gap between abstract security policies and low-level hardware execution. We demonstrate the framework's efficacy through a case study involving unauthorized Control and Status Register (CSR) modifications, showing how RV-Sec5 detects privilege escalation attempts and monitors microarchitectural anomalies, such as TLB flushes and cache state changes, in real-time.

Original languageEnglish
Title of host publicationAISC 2026 - 2026 Australasian Information Security Conference
EditorsYong Xiang, Nasrin Sohrabi, Jason Xue, Dan Kim
PublisherAssociation for Computing Machinery, Inc
Pages10-19
Number of pages10
ISBN (Electronic)9798400722820
DOIs
Publication statusPublished - 25 Mar 2026
Event2026 Australasian Information Security Conference, AISC 2026 - Melbourne, Australia
Duration: 11 Feb 202612 Feb 2026

Publication series

NameAISC 2026 - 2026 Australasian Information Security Conference

Conference

Conference2026 Australasian Information Security Conference, AISC 2026
Country/TerritoryAustralia
CityMelbourne
Period11/02/2612/02/26

Keywords

  • Attacks Simulation.
  • Embedded Systems
  • Hardware Attacks
  • Hardware Security
  • ISA Security
  • Pre-silicon Validation
  • RISC-V
  • Side-channel Profiling
  • gem5

Fingerprint

Dive into the research topics of 'RV-Sec5: Enhancing RISC-V Security Evaluation via Targeted ISA-Level Instrumentation using gem5'. Together they form a unique fingerprint.

Cite this