Jan Reineke

Jan Reineke is listed on arXiv as a co-author of the paper “Coverage-Guided Pre-Silicon Fuzzing of Open-Source Processors based on Leakage Contracts”, alongside Gideon Geier and Pariya Hajipour. The paper is cited as arXiv:2511.08443 [cs.CR] and has the DOI 10.48550/arXiv.2511.08443. [C1]

Research topic represented in the evidence

The cited paper addresses verification and fuzzing for hardware-software leakage contracts, a formalism for specifying side-channel security guarantees in modern processors. According to the abstract, the work proposes coverage-guided hardware-software contract fuzzing to make information leakage observable as microarchitectural state divergence using a self-compositional framework. Its security-oriented coverage metric, Self-Composition Deviation (SCD), is described as guiding a fuzzer toward execution paths that violate a leakage contract. [C2]

The evaluation reported in the abstract covers two open-source RISC-V cores: the in-order Rocket Core and the out-of-order BOOM core. The reported results state that coverage-guided strategies outperform unguided fuzzing and that increased microarchitectural coverage leads to faster discovery of security vulnerabilities in the BOOM core. [C3]

arXiv record

The arXiv record places the paper in Cryptography and Security (cs.CR) and lists ACM classes C.0 and B.5. The metadata gives a citation date of 2025-11-11 and an online date for the shown version of 2025-11-16. [C4]

The submission history shown by arXiv identifies the submission as “From: Jan Reineke” and records version 1 on 2025-11-11 16:46:35 UTC and version 2 on 2025-11-16 16:40:10 UTC. [C5]