KRATT : QBF-assisted removal and structural analysis attack against logic locking
Aksoy, Levent
;
Yasin, Muhammad
;
Pagliarini, Samuel Nascimento
arXiv.org
2023
/
7 p. : ill
https://doi.org/10.48550/arXiv.2311.05982