KRATT : QBF-assisted removal and structural analysis attack against logic locking
author
Aksoy, Levent
Yasin, Muhammad
Pagliarini, Samuel
statement of authorship
Levent Aksoy, Muhammad Yasin, Samuel Pagliarini
source
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings
location of publication
Piscataway, New Jersey
publisher
IEEE
year of publication
2024
pages
6 p. : ill
conference name, date
Design, Automation and Test in Europe Conference and Exhibition, DATE 2024, 25-27 March 2024
conference location
Valencia, Spain
url
https://doi.org/10.23919/DATE58400.2024.10546552
subject term
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
quartile
Q1
category (general)
Engineering
Tehnika
category (sub)
Engineering. General engineering
Tehnika. Üldine inseneriteadus
keyword
logic locking
quantified Boolean formula
removal attack
satisfiability
structural analysis
ISSN
1558-1101
1530-1591
ISBN
979-835034859-0
notes
Bibliogr.: 29 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
Arvutisüsteemide instituut
language
inglise