Passer à la navigation principale Passer à la recherche Passer au contenu principal

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

  • Telecom Paris
  • DALI/LIRMM
  • Rivos Inc

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collectionContribution à une conférenceRevue par des pairs

Résumé

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.

langue originaleAnglais
titreAISC 2026 - 2026 Australasian Information Security Conference
rédacteurs en chefYong Xiang, Nasrin Sohrabi, Jason Xue, Dan Kim
EditeurAssociation for Computing Machinery, Inc
Pages10-19
Nombre de pages10
ISBN (Electronique)9798400722820
Les DOIs
étatPublié - 25 mars 2026
Evénement2026 Australasian Information Security Conference, AISC 2026 - Melbourne, Australie
Durée: 11 févr. 202612 févr. 2026

Série de publications

NomAISC 2026 - 2026 Australasian Information Security Conference

Une conférence

Une conférence2026 Australasian Information Security Conference, AISC 2026
Pays/TerritoireAustralie
La villeMelbourne
période11/02/2612/02/26

Empreinte digitale

Examiner les sujets de recherche de « RV-Sec5: Enhancing RISC-V Security Evaluation via Targeted ISA-Level Instrumentation using gem5 ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation