Publikation
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.
@inproceedings{pub12183, author = { Merten, Marcel and Huhn, Sebastian and Drechsler, Rolf }, title = {Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods}, booktitle = {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}, year = {2022} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2022