print

KRATT : QBF-assisted removal and structural analysis attack against logic locking

author
Aksoy, Levent
Yasin, Muhammad
Pagliarini, Samuel Nascimento
statement of authorship
Levent Aksoy, Muhammad Yasin, Samuel Pagliarini
source
arXiv.org
publisher
Cornell University
journal volume number month
arXiv:2311.05982
year of publication
2023
pages
7 p. : ill
url
https://doi.org/10.48550/arXiv.2311.05982
subject term
krüptograafia
rünnakud
struktuurianalüüs
Boole'i algebra
rahulolu
subject of form
preprindid
keyword
logic locking
removal attack
structural analysis
quantified Boolean formula
satisfiability
notes
Bibliogr.: 31 ref
scientific publication
teaduspublikatsioon
classifier
6.7
TTÜ department
arvutisüsteemide instituut
language
inglise
Aksoy, L., Yasin, M., Pagliarini, S.N. KRATT : QBF-assisted removal and structural analysis attack against logic locking // arXiv.org (2023) arXiv:2311.05982, 7 p. : ill. https://doi.org/10.48550/arXiv.2311.05982