LEDA: Locking Enabled Differential Analysis of Cryptographic Circuits | IEEE Conference Publication | IEEE Xplore