Translating circuit behavior manifestations of hardware Trojans using model checkers into run-time Trojan detection monitors | IEEE Conference Publication | IEEE Xplore