Hardware Trojan avoidance and detection for dynamically re-configurable FPGAs | IEEE Conference Publication | IEEE Xplore