A Formal Verification Approach for Detecting Opcode Trojans | IEEE Conference Publication | IEEE Xplore