Rescuing Logic Encryption in Post-SAT Era by Locking & Obfuscation | IEEE Conference Publication | IEEE Xplore