Accelerating hardware security verification and vulnerability detection through state space reduction.
Lixiang ShenDejun MuGuo CaoMaoyuan QinJiacheng ZhuWei HuPublished in: Comput. Secur. (2021)
Keyphrases
- space reduction
- low cost
- hardware implementation
- real time
- intrusion detection
- high security
- automatic detection
- object detection
- detection rate
- buffer overflow
- security vulnerabilities
- malware detection
- hardware and software
- network security
- security policies
- field programmable gate array
- security systems
- information security
- java card
- model checking
- detection method
- anomaly detection
- random number generator
- access control