Towards a cost-effective hardware trojan detection methodology. - Raymond Paseman; Alex Orailoglu (VTS, 2013)