Login / Signup
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