Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods.

Marcel Merten, Sebastian Huhn, Rolf Drechsler

Browse the full ETS paper archive.