Incremental SAT-Based Reverse Engineering of Camouflaged Logic Circuits

Cunxi Yu, Xiangyu Zhang, Duo Liu, Maciej J. Ciesielski, Daniel Holcomb. Incremental SAT-Based Reverse Engineering of Camouflaged Logic Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems, 36(10):1647-1659, 2017. [doi]

Abstract

Abstract is missing.