A Cognitive SAT to SAT-Hard Clause Translation-based Logic Obfuscation.

Rakibul Hassan, Gaurav Kolhe, Setareh Rafatirad, Houman Homayoun, Sai Manoj Pudukotai Dinakarrao

Browse the full DATE paper archive.