RVDFI
PaperFirst seen 6/5/2026
Last seen 6/5/2026
Evidence 15 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
37 connectionsRVDFI introduces dedicated L0 caches for RDTable, RDSmap, and RDSet
RVDFI leverages the open-source Rocket Chip SoC generator
RVDFI leverages RoCC as the dedicated DFI verification module
RVDFI evaluates performance using SPEC CPU2006 benchmark suite
RVDFI is compared with HDFI in terms of granularity and security
RVDFI uses static analysis to generate RDSets and instruction IDs
RVDFI is compared with PIM-DFI in terms of performance overhead and hardware resources
RVDFI uses reaching definition sets for DFI verification
RVDFI uses a reaching definition table to record latest write instruction IDs
RVDFI uses an RDSmap for indirect access to RDSets
RVDFI proposes a RISC-V architecture extension and instrumentation approach
RVDFI uses the custom0 instruction to encode and transmit DFI information
RVDFI modifies the processor pipeline to pass DFI information
RVDFI introduces a DFI verification flow with offline and online parts
RVDFI introduces a dedicated DFI controller inside RoCC
RVDFI mentions near-memory processing as used by PIM-DFI
RVDFI is based on the RISC-V architecture
RVDFI introduces dynamic redundant load pruning to reduce performance overhead
RVDFI introduces a load pruning buffer hardware design
RVDFI mentions jump-oriented programming as an attack detectable by DFI
RVDFI paper is authored by Jiayi Huang
RVDFI paper is authored by Luyi Li
RVDFI paper is authored by Haochen Zhang
RVDFI paper is authored by Zhongfeng Wang
RVDFI uses LLVM compiler infrastructure for static analysis
RVDFI uses SVF framework for static value-flow analysis
RVDFI applies Andersen's algorithm for static analysis
RVDFI introduces a DFI-Request FIFO to buffer requests and reduce stalling
RVDFI introduces library protection for dynamically linked functions
RVDFI proposes a RISC-V ISA extension for DFI support
RVDFI is compared with TMDFI in terms of granularity and performance
RVDFI uses a target address buffer to pass target addresses along the pipeline
RVDFI uses MSHRs to reduce performance overhead from cache misses
RVDFI mentions control-flow integrity as a related security policy
RVDFI mentions write integrity testing as a partial DFI approach
RVDFI mentions return-oriented programming as an attack detectable by DFI
RVDFI paper is authored by Lang Feng