Transition probabilistic approach for detection and diagnosis of Hardware Trojan in combinational circuits | IEEE Conference Publication | IEEE Xplore