SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms

@inbook{pub13517,
    author = {

Merten, Marcel
 and 

Drechsler, Rolf
 and 

Djeridane, Mohammed E.
 and 

Huhn, Sebastian
 and 

Huhn, Sebastian
 and 

Drechsler, Rolf
},
    editor = {

Drechsler, Rolf
 and 

Huhn, Sebastian
},
    title = {SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms},
    booktitle = {Advanced Boolean Techniques},
    year = {2023},
    pages = {83--94},
    publisher = {Springer}
}