KRATT : QBF-assisted removal and structural analysis attack against logic locking
autor
Aksoy, Levent
Yasin, Muhammad
Pagliarini, Samuel
vastutusandmed
Levent Aksoy, Muhammad Yasin, Samuel Pagliarini
allikas
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings
ilmumiskoht
Piscataway, New Jersey
kirjastus/väljaandja
IEEE
ilmumisaasta
2024
leheküljed
6 p. : ill
konverentsi nimetus, aeg
Design, Automation and Test in Europe Conference and Exhibition, DATE 2024, 25-27 March 2024
konverentsi toimumispaik
Valencia, Spain
leitav
https://doi.org/10.23919/DATE58400.2024.10546552
märksõna
krüptograafia
rünnakud
struktuurianalüüs
Boole'i algebra
rahulolu
Scopus
https://www.scopus.com/sourceid/5400152603
https://www.scopus.com/pages/publications/85183372197?inward
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001253778900051
kvartiil
Q1
kategooria (üld)
Engineering
Tehnika
kategooria (alam)
Engineering. General engineering
Tehnika. Üldine inseneriteadus
võtmesõna
logic locking
quantified Boolean formula
removal attack
satisfiability
structural analysis
ISSN
1558-1101
1530-1591
ISBN
979-835034859-0
märkused
Bibliogr.: 29 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
Arvutisüsteemide instituut
keel
inglise