2026-09-10
3 items 111 entities 115 connections
Processed 64 entities and 67 relations.
ReFuzz Processor Fuzzing Contextual Bandit Differential Testing Mutation-Based Fuzzing Direct Testing Random Testing Test Minimization Coverage-Guided Fuzzing Seed Generation Integer Programming Epsilon-Greedy Exploration TheHuzz Cascade American Fuzzy Lop Synopsys VCS Spike Chipyard MABWiser MINTS Prior-Processor Tests Processor-Under-Test Golden-Reference Model Branch Coverage Incremental Coverage Coverage Context Vulnerability Test Coverage Matrix Instruction Set Architecture Design Reuse Pre-Silicon Verification Denial-of-Service Attack Memory Deadlock Reorder Buffer Control and Status Register minstret Register Speculative Execution Vulnerability FENCE.I Instruction Page Table Entry Exploration-Exploitation Tradeoff Instruction Sequence Common Weakness Enumeration RTL Finite-State Machine Out-of-Order Execution ReFuzz: Reusing Tests for Processor Fuzzing with Contextual Bandits Chen Chen Zaiyan Xu Mohamadreza Rostami David Liu Dileep Kalathil Ahmad-Reza Sadeghi Jeyavijayan Rajendran Texas A&M University Technische Universitat Darmstadt RISC-V CVA6 Rocket Core BOOMV3 BOOMV4 RSD Processor PicoRV32 Chisel FDIV Bug
Processed 30 entities and 30 relations.
Specure BOOM Chipyard SpecDoctor TheHuzz RISC-V speculative execution hardware fuzzing differential fuzzing Leakage Path information flow tracking microarchitectural snapshot (M)WAIT vulnerability Zenbleed Spectre code coverage Potential Direct Leakage Channel golden-reference model CWE-1342 register rename stage maptable rollback CSR register out-of-order processor pre-silicon fuzzing umonitor instruction umwait instruction Ormandy Intel Xeon processor static information flow tracking RTL
Processed 17 entities and 18 relations.
ProcessorFuzz Hardware Fuzzing Software Fuzzing CSR-Transition Coverage Control and Status Registers Register-Transfer Level Hardware Description Languages Processor Verification Micro-architectural Bugs Side Channel Vulnerabilities DIFUZZRTL Rocket Core BOOM BlackParrot RISC-V Coverage-Guided Fuzzing Processor State Exploration