ASAX: Automatic security assertion extraction for detecting Hardware Trojans.

Chenguang Wang Yici Cai Qiang Zhou Haoyi Wang

Published 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