Login / Signup
Guided test generation for isolation and detection of embedded trojans in ics.
Mainak Banga
Maheshwar Chandrasekar
Lei Fang
Michael S. Hsiao
Published in:
ACM Great Lakes Symposium on VLSI (2008)
Keyphrases
</>
watermarking algorithm
test generation
design automation
test cases
false positives
test sequences
object detection
symbolic execution
detection algorithm
image processing
xml documents
machine learning
high level
cooperative
image data
mutation testing