Publication

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

Marcel Merten, Sebastian Huhn, Rolf Drechsler

In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2022) February 27-March 1 Bremerhaven Germany 2022.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz