Efficiency analysis of SAT solvers in logic locking applications

• Main Author: Liu, Zhiyuan
• Other Authors: Gwee Bah Hwee
• Format: Final Year Project
• Language: English
• Published: Nanyang Technological University 2024
• Subjects: Engineering
• Online Access: https://hdl.handle.net/10356/177292
• Institution: Nanyang Technological University

As globalization affects integrated circuit (IC) design, logic locking has emerged as an important protective strategy against numerous security threats. Since the introduction of the SAT attack method, the reliability of logic locking has been questioned. This development has spurred further resear...