ASAX: Automatic security assertion extraction for detecting Hardware Trojans.
Chenguang WangYici CaiQiang ZhouHaoyi WangPublished in: ASP-DAC (2018)
Keyphrases
- low cost
- network security
- random number generator
- information security
- automatic extraction
- real time
- trusted computing
- fully automatic
- computer security
- security requirements
- security issues
- network access
- computer systems
- computing systems
- computing power
- security mechanisms
- hardware and software
- application level
- security systems
- security threats
- region detection
- semi automatic
- information extraction