@inproceedings{8b1449632ae34d3f957d464a9ad26065,
title = "RV-Sec5: Enhancing RISC-V Security Evaluation via Targeted ISA-Level Instrumentation using gem5",
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.",
keywords = "Attacks Simulation., Embedded Systems, Hardware Attacks, Hardware Security, ISA Security, Pre-silicon Validation, RISC-V, Side-channel Profiling, gem5",
author = "Muhammad Awais and Maria Mushtaq and Lirida Naviner and Florent Bruguier and \{Haj Yahya\}, Jawad",
note = "Publisher Copyright: {\textcopyright} 2026 Copyright held by the owner/author(s).; 2026 Australasian Information Security Conference, AISC 2026 ; Conference date: 11-02-2026 Through 12-02-2026",
year = "2026",
month = mar,
day = "25",
doi = "10.1145/3793638.3793640",
language = "English",
series = "AISC 2026 - 2026 Australasian Information Security Conference",
publisher = "Association for Computing Machinery, Inc",
pages = "10--19",
editor = "Yong Xiang and Nasrin Sohrabi and Jason Xue and Dan Kim",
booktitle = "AISC 2026 - 2026 Australasian Information Security Conference",
}