FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection.
Nusrat Farzana DipuMuhammad Monir HossainKimia Zamiri AzarFarimah FarahmandiMark M. TehranipoorPublished in: ASPDAC (2024)
Keyphrases
- formal verification
- model checking
- model checker
- automated verification
- detection accuracy
- detection algorithm
- bounded model checking
- detection method
- automatic detection
- symbolic model checking
- object detection
- false alarms
- detection rate
- temporal logic
- penetration testing
- hardware and software
- artificial intelligence
- expert systems
- false positives
- program slicing
- reinforcement learning