Towards a hardware Trojan detection methodology | IEEE Conference Publication | IEEE Xplore