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]
@article{YuZLCH17,
title = {Incremental SAT-Based Reverse Engineering of Camouflaged Logic Circuits},
author = {Cunxi Yu and Xiangyu Zhang and Duo Liu and Maciej J. Ciesielski and Daniel Holcomb},
year = {2017},
doi = {10.1109/TCAD.2017.2652220},
url = {https://doi.org/10.1109/TCAD.2017.2652220},
researchr = {https://researchr.org/publication/YuZLCH17},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {36},
number = {10},
pages = {1647-1659},
}