Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution | IEEE Conference Publication | IEEE Xplore