HTV: Measuring Circuit Vulnerability to Hardware Trojan Insertion Based on Node Co-activation Analysis | IEEE Conference Publication | IEEE Xplore