• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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