High-level synthesis for run-time hardware Trojan detection and recovery | IEEE Conference Publication | IEEE Xplore