SymbFuzz: Symbolic Execution Guided Hardware Fuzzing
Symbolic execution guided hardware fuzzing for deeper vulnerability detection in hardware designs.
samit-shahnawaz-miftah
•
•
1 min read
InterConFuzz: A Fuzzing-based Comprehensive NoC Verification Framework
Fuzzing-based verification framework for Network-on-Chip security and functional validation.
samit-shahnawaz-miftah
Assert-O: Context-based Assertion Optimization using LLMs
LLM-based context-aware assertion optimization for hardware verification.
samit-miftah
STBC: Side-channel Attack Tolerant Balanced Circuit with Reduced Propagation Delay
Balanced circuit design methodology for side-channel resistance with reduced propagation delay.
Binary Decision Diagram to Design Balanced Secure Logic Styles
BDD-based methodology for designing side-channel resistant balanced logic circuits.
Three Phase Dynamic Current Mode Logic: A More Secure DyCML to Achieve a More Balanced Power Consumption
Three-phase DyCML design for balanced power consumption and enhanced side-channel resistance. **Best Paper Award.**