Smart employment of circuit redundancy to effectively counter trojans (SECRET) in third-party IP cores | IEEE Conference Publication | IEEE Xplore