StateLock: State Transition Based Logic Locking for Sequential Circuits | IEEE Conference Publication | IEEE Xplore