Parallelizing SAT-based de-camouflaging attacks by circuit partitioning and conflict avoiding

As one of the most effective proactive countermeasures against reverse engineering, circuit camouflaging has emerged to be a hot research topic and it is becoming a mature technology with the development of various de-camouflaging attacks. Among them, the SAT-based method is the most powerful one to...

Ausführliche Beschreibung