@inproceedings{21efe2c265fd4b41b29dedd5f3c67406,
title = "Traphalt: Indirect Core Halt via Trap Handling to Halt a RISC-V Core from User Mode through Kernel-Mediated Fault Handling",
abstract = "Modern processors rely on strict privilege separation to prevent user applications from manipulating privileged architectural state directly. In RISC-V systems, user-mode programs cannot access privileged control and status registers (CSRs) or execute privileged instructions. Still, exceptions raised by user programs are handled by the operating system kernel through the trap mechanism, which runs at a higher privilege level. This interaction between user-level faults and kernel trap handling can introduce subtle system behaviours that affect processor control state. In this work, we show that a RISC-V CPU core can be indirectly halted from user mode by deliberately triggering kernel trap handling with carefully crafted illegal instruction sequences. A user-space program forces the kernel to process a fault condition that propagates through OpenSBI{\textquoteright}s unhandled-fault path to sbi hart hang(), suspending the hart in an infinite wfi() loop. We demonstrate this behaviour on a SiFive HiFive Premier P550 platform running Linux with OpenSBI v1.6. Our results highlight how user-triggered exceptions can cause unexpected system-level effects and stress the need for careful validation of exception-handling paths in RISC-V platforms.",
keywords = "Fault Injection, Privilege Architecture, Processor Dependability, RISC-V, Trap Handling",
author = "Muhammad Awais and Maria Mushtaq and Lirida Naviner and Yahya, \{Jawad Haj\} and Florent Bruguier",
note = "Publisher Copyright: {\textcopyright} 2026 by SCITEPRESS {\textendash} Science and Technology Publications, Ltd.; 23rd International Conference on Security and Cryptography, SECRYPT 2026 ; Conference date: 16-07-2026 Through 18-07-2026",
year = "2026",
month = jan,
day = "1",
doi = "10.5220/0015150700004103",
language = "English",
isbn = "9789897588587",
series = "Proceedings of the International Conference on Security and Cryptography",
publisher = "Science and Technology Publications, Lda",
pages = "1005--1013",
editor = "\{De Capitani Di Vimercati\}, Sabrina and Pierangela Samarati",
booktitle = "Proceedings of the 23rd International Conference on Security and Cryptography",
}