Oracle-guided incremental SAT solving to reverse engineer camouflaged logic circuits.

Duo Liu, Cunxi Yu, Xiangyu Zhang, Daniel E. Holcomb

Browse the full DATE paper archive.