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]

Authors

Cunxi Yu

This author has not been identified. Look up 'Cunxi Yu' in Google

Xiangyu Zhang

This author has not been identified. Look up 'Xiangyu Zhang' in Google

Duo Liu

This author has not been identified. Look up 'Duo Liu' in Google

Maciej J. Ciesielski

This author has not been identified. Look up 'Maciej J. Ciesielski' in Google

Daniel Holcomb

This author has not been identified. Look up 'Daniel Holcomb' in Google