Generalized SAT-Attack-Resistant Logic Locking

• Published in: IEEE transactions on information forensics and security Vol. 16; pp. 2581 - 2592
• Main Authors: Zhou, Jingbo, Zhang, Xinmiao
• Format: Journal Article
• Language: English
• Published: IEEE 2021
• Subjects: Anti-SAT; AppSAT attack; Electronics packaging; hardware security; Integrated circuits; Logic gates; logic locking; removal attack; Resistance; Resists; Reverse engineering; SAT attack; Table lookup

Logic locking is used to protect integrated circuits (ICs) from piracy and counterfeiting. An encrypted IC implements the correct function only when the right key is input. Many existing logic-locking methods are subject to the powerful satisfiability (SAT)-based attack. Recently, an Anti-SAT scheme...