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

@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}
}