MERS: Statistical Test Generation for Side-Channel Analysis based Trojan Detection.

Yuanwen Huang Swarup Bhunia Prabhat Mishra

Published in: CCS (2016)

Keyphrases

test generation
symbolic execution
detection method
test sequences
test cases
object detection
detection algorithm
static analysis
design automation
high quality
false positives
software testing
high level
open source
database
decision trees
image processing
databases
test data generation
data sets