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
KRATT : QBF-assisted removal and structural analysis attack against logic locking
Aksoy, Levent
;
Yasin, Muhammad
;
Pagliarini, Samuel
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings
2024
/
6 p. : ill
https://doi.org/10.23919/DATE58400.2024.10546552
https://www.scopus.com/sourceid/5400152603
https://www.scopus.com/pages/publications/85183372197?inward
https://www.webofscience.com/wos/woscc/full-record/WOS:001253778900051