A Game-Theoretic Approach for Testing for Hardware Trojans | IEEE Journals & Magazine | IEEE Xplore