ccccccccyt / incremental-sat-decam

Project website of Incremental-SAT based De-camouflaging of logic circuits

Incremental-SAT-DeCam

Link to paper: https://ieeexplore.ieee.org/document/7814148/ Webpage: https://ycunxi.github.io/Incremental-SAT-DeCam/

Requirements

• g++4.9 or above (g++7 tested)
• Build on top of miniSAT (see http://minisat.se)
• [Tested env] Ubuntu 16.04, CentOS 6

Manual/Documentation

https://github.com/ycunxi/Incremental-SAT-DeCam/blob/master/Solver/Tutorial.pdf

Demo

De-camouflaging ISCAS-85 c17 circuit
https://github.com/ycunxi/Incremental-SAT-DeCam/tree/master/Solver/Incremental_Solver/simp/Example

Reference

Incremental SAT-based Reverse Engineering of Camouflaged Logic Circuits.
Cunxi Yu, Xiangyu Zhang, Duo Liu, Maciej Ciesielski, Daniel Holcomb.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.10.1109/TCAD.2017.2652220 (TCAD'16)

Oracle-Guided Incremental SAT Solving to Reverse Engineer Camouflaged Logic Circuits.
Duo Liu, Cunxi Yu and Daniel Holcomb
IEEE/ACM/EDAA Design, Automation and Test in Europe (DATE'16), March 2016, Dresden, Germany.

Contact

Cunxi Yu.
Email: [email protected]