Sat Attacks

SAT Attacks is a class of cryptographic attack that exploits Boolean satisfiability solving to systematically discover the correct key inputs of a logic-locked circuit by iteratively analyzing input-output correspondences under miter-based constraint formulations.

116

Publications

6.4K

Citations

220

Authors

Institutions

Publications per year

2017–2026

100

Variants

Boolean Satisfiability Attacks

Parents

Logic Locking

Publications

116

Evaluating the security of logic encryption algorithms

Pramod Subramanyan, Sayak Ray, Sharad Malik · 2015 · 772 citations

Computing, Computer Engineering, Computer Science +13

SARLock: SAT attack resistant logic locking

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

Computing, Computer Engineering, Computer Science +13

AppSAT: Approximately deobfuscating integrated circuits

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

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

1–5 of 116

Authors

220

HH
Houman Homayoun
George Mason University, United States
13 publications · 494 citations
12
h-index
OS
Ozgur Sinanoglu
New York University, United States
11 publications · 1.1K citations
11
h-index
AS
Avesta Sasan
George Mason University, United States
12 publications · 478 citations
11
h-index
YJ
Yier Jin
University of Central Florida, United States
10 publications · 933 citations
10
h-index
DZ
David Z. Pan
The University of Texas at Austin, United States
10 publications · 933 citations
10
h-index

1–5 of 220

Institutions

1–8 of 79

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
11 publications · 522 citations
11
h-index
IEEE Transactions on Information Forensics and Security
6 publications · 282 citations
6
h-index
ACM Transactions on Design Automation of Electronic Systems
TODAES · 3 publications · 61 citations
3
h-index
IACR Cryptology ePrint Archive
Repository · 3 publications · 40 citations
3
h-index
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
3 publications · 68 citations
3
h-index

1–5