Sat Attack Resistance

SAT Attack Resistance is a hardware obfuscation property that characterizes a circuit's ability to withstand Boolean satisfiability-based attacks by ensuring that incorrect key inputs do not permit logical deduction of the correct key through satisfiability solving.

Publications

Citations

110

Authors

Institutions

Publications per year

2017–2026

Parents

Hardware Obfuscation

Publications

SARLock: SAT attack resistant logic locking

Muhammad Yasin, Bodhisatwa Mazumdar, Jeyavijayan Rajendran et al. · 2016 · 402 citations

Computing, Computer Engineering, Computer Science +13

Removal Attacks on Logic Locking and Camouflaging Techniques

Muhammad Yasin, Bodhisatwa Mazumdar, Ozgur Sinanoglu et al. · IEEE Transactions on Emerging Topics in Computing · 2017 · 256 citations

Computing, Computer Engineering, Computer Science +13

Anti-SAT: Mitigating SAT Attack on Logic Locking

Yang Xie, Ankur Srivastava · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2018 · 234 citations

Computing, Computer Engineering, Computer Science +13

Double DIP

Yuanqi Shen, Hai Zhou · 2017 · 202 citations

Computing, Computer Engineering, Computer Science +12

Cyclic Obfuscation for Creating SAT-Unresolvable Circuits

Kaveh Shamsi, Meng Li, Travis Meade et al. · 2017 · 159 citations · Full text

Computing, Computer Engineering, Computer Science +13

1–5 of 44

Authors

110

OS
Ozgur Sinanoglu
New York University, United States
6 publications · 870 citations
6
h-index
HZ
Hai Zhou
Northwestern University, United States
4 publications · 424 citations
5
h-index
YJ
Yier Jin
University of Central Florida, United States
3 publications · 291 citations
3
h-index
DZ
David Z. Pan
The University of Texas at Austin, United States
3 publications · 291 citations
3
h-index
MY
Muhammad Yasin
New York University, United States
3 publications · 790 citations
3
h-index

1–5 of 110

Institutions

1–8 of 35

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
8 publications · 367 citations
8
h-index
IEEE Transactions on Information Forensics and Security
3 publications · 177 citations
3
h-index
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
Conference · 2 publications · 191 citations
2
h-index
IEEE Transactions on Emerging Topics in Computing
ITETBT · 2 publications · 278 citations
2
h-index
IACR Transactions on Cryptographic Hardware and Embedded Systems
TCHES · 2 publications · 96 citations
2
h-index

1–5