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

@inproceedings{pub12574,
    author = {

Merten, Marcel
 and 

Djeridane, Mohammed E.
 and 

Huhn, Sebastian
 and 

Drechsler, Rolf
},
    title = {SAT-based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms},
    booktitle = {15th International Workshop on Boolean Problems. International Workshop on Boolean Problems (IWSBP-2022), September 22-23},
    year = {2022}
}