C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution.
Alif Ahmed
Farimah Farahmandi
Yousef Iskander
Prabhat Mishra
Published in:
ITC (2018)
Keyphrases
</>
symbolic execution
static analysis
test generation
artificial intelligence
multi objective
data sets
real world
genetic algorithm
multi agent systems
general purpose