3 papers
cs.SE2025
Leveraging SystemC-TLM-based Virtual Prototypes for Embedded Software Fuzzing
Chiara Ghinami, Jonas Winzer, Nils Bosbach +4
SystemC-based virtual prototypes have emerged as widely adopted tools to test software ahead of hardware availability, reducing the time-to-market and improving software reliabilit…
cs.CR2024
Exploiting the Lock: Leveraging MiG-V's Logic Locking for Secret-Data Extraction
Lennart M. Reimann, Yadu Madhukumar Variyar, Lennet Huelser +3
The MiG-V was designed for high-security applications and is the first commercially available logic-locked RISC-V processor on the market. In this context logic locking was used to…
cs.CR2024
QTFlow: Quantitative Timing-Sensitive Information Flow for Security-Aware Hardware Design on RTL
Lennart M. Reimann, Anshul Prashar, Chiara Ghinami +4
In contemporary Electronic Design Automation (EDA) tools, security often takes a backseat to the primary goals of power, performance, and area optimization. Commonly, the security…