HLIFT: A high-level information flow tracking method for detecting hardware Trojans | IEEE Conference Publication | IEEE Xplore