Property Based Formal Security Verification for Hardware Trojan Detection.
Maoyuan QinWei HuDejun MuYu TaiPublished in: IVSW (2018)
Keyphrases
- formal methods
- high security
- real time
- low cost
- intrusion detection
- random number generator
- network security
- hardware implementation
- critical infrastructure
- malware detection
- false alarms
- java card
- formal model
- integrity verification
- terrorist activities
- security systems
- massively parallel
- hardware and software
- computer systems
- object detection
- computer security
- formal verification
- formal analysis
- security level
- computing systems
- anomaly detection
- image processing