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