Hardware Trojan detection methodology for FPGA | IEEE Conference Publication | IEEE Xplore