Increasing SAT-Resilience of Logic Locking Mechanisms using Formal Methods.

Marcel Merten, Sebastian Huhn, Rolf Drechsler

Browse the full ETS paper archive.