Generalized SAT-Attack-Resistant Logic Locking

• Published in: arXiv.org
• Main Authors: Zhou, Jingbo, Zhang, Xinmiao
• Format: Paper Journal Article
• Language: English
• Published: Ithaca Cornell University Library, arXiv.org 29.03.2021
• Subjects: Circuit protection; Computer Science - Cryptography and Security; Computer Science - Hardware Architecture; Integrated circuits; Locking; Logic

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...