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

@inproceedings{pub12245,
    author = {

Merten, Marcel
 and 

Huhn, Sebastian
 and 

Drechsler, Rolf
},
    title = {Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods},
    booktitle = {IEEE European Test Symposium (ETS). IEEE European Test Symposium (ETS-27), May 23-27, Barcelona, Spain},
    year = {2022}
}