Summary of Locating Hardware Trojans using Combinatorial Testing for Cryptographic Circuits | IEEE Conference Publication | IEEE Xplore