Monte Carlo Based Test Pattern Generation for Hardware Trojan Detection | IEEE Conference Publication | IEEE Xplore