A Neural Network-based SAT-Resilient Obfuscation Towards Enhanced Logic Locking. (arXiv:2209.05799v1 [cs.CR])

Logic obfuscation is introduced as a pivotal defense against multiple
hardware threats on Integrated Circuits (ICs), including reverse engineering
(RE) and intellectual property (IP) theft. The effectiveness of logic
obfuscation is challenged by the recently introduced Boolean satisfiability
(SAT) attack and its variants. A plethora of countermeasures has also been
proposed to thwart the SAT attack. Irrespective of the implemented defense
against SAT attacks, large power, performance, and area overheads are
indispensable. In contrast, we propose a cognitive solution: a …

logic network neural network obfuscation sat