Combating Data Leakage Trojans in Sequential Circuits Through Randomized Encoding | IEEE Conference Publication | IEEE Xplore