SARLock: SAT attack resistant logic locking | IEEE Conference Publication | IEEE Xplore