Increasing SAT-Resilience of Logic Locking Mechanisms using Formal Methods

@inproceedings{pub13055,
    author = {

Merten, Marcel
 and 

Huhn, Sebastian
 and 

Drechsler, Rolf
},
    title = {Increasing SAT-Resilience of Logic Locking Mechanisms using Formal Methods},
    booktitle = {28th IEEE European Test Symposium 2023. IEEE European Test Symposium (ETS-2023), May 22-26, Venice, Italy},
    year = {2023}
}