OS support for detecting Trojan circuit attacks | IEEE Conference Publication | IEEE Xplore