SymbFuzz: Symbolic Execution Guided Hardware Fuzzing
Symbolic execution guided hardware fuzzing for deeper vulnerability detection in hardware designs.
samit-shahnawaz-miftah
Symbolic execution guided hardware fuzzing for deeper vulnerability detection in hardware designs.
Fuzzing-based verification framework for Network-on-Chip security and functional validation.
Graphical approach for integrating side-channel resistance into the hardware synthesis flow.