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

Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra

Browse the full ITC paper archive.