prindi

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

autor
Aksoy, Levent
Yasin, Muhammad
Pagliarini, Samuel Nascimento
vastutusandmed
Levent Aksoy, Muhammad Yasin, Samuel Pagliarini
allikas
arXiv.org
kirjastus/väljaandja
Cornell University
ajakirja aastakäik number kuu
arXiv:2311.05982
ilmumisaasta
2023
leheküljed
7 p. : ill
leitav
https://doi.org/10.48550/arXiv.2311.05982
märksõna
krüptograafia
rünnakud
struktuurianalüüs
Boole'i algebra
rahulolu
vormimärksõna
preprindid
võtmesõna
logic locking
removal attack
structural analysis
quantified Boolean formula
satisfiability
märkused
Bibliogr.: 31 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
6.7
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
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