Login / Signup

Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution.

Alif AhmedFarimah FarahmandiYousef IskanderPrabhat 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