Skip to main content Skip to main navigation

Publikation

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.