Automatic Security Property Generation for Detecting Information-Leaking Hardware Trojans.

Chenguang Wang Yici Cai Qiang Zhou

Published in: ICCD (2017)

Keyphrases

real time
information sources
domain knowledge
private information
information flow
hardware and software
contextual information
sensor technology
personal data
spatial information
information processing
computer systems
access control
low cost
information extraction
image processing
information systems