Publikation

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

Marcel Merten, Sebastian Huhn, Rolf Drechsler

In: IEEE European Test Symposium (ETS). IEEE European Test Symposium (ETS-27) May 23-27 Barcelona Spain 2022.

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