RV-Sec5: Enhancing RISC-V Security Evaluation via Targeted ISA-Level Instrumentation using gem5
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.
Authors
- Florent Bruguier (ORCID: https://orcid.org/0000-0002-7897-5700)
- Maria Mushtaq (ORCID: https://orcid.org/0000-0002-9805-3076)
- Lirida Naviner
- Muhammad Awais
- Jawad Haj
Institutions
- Télécom Paris (FR)
- Université de Montpellier (FR)
- Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier (FR)
- Intelligent Fiber Optic Systems (United States) (US)
Publication Details
- Published
- 2026-02-11
- DOI
- https://doi.org/10.1145/3793638.3793640
- Primary Topic
- Vehicular Ad Hoc Networks (VANETs)
- Type
- article
- Field-Weighted Citation Impact
- 0.00