tlooto
Sign up
Computer ScienceEngineering

The SAT Attack

Muhammad Yasin, Jeyavijayan Rajendran, O. Sinanoglu

2019Analog Circuits and Signal Processing

DOI: 10.1007/978-3-030-15334-2_4

tlooto Summary

The SAT attack is an oracle-guided attack that utilizes a SAT solver to compute attack patterns that refine the key search space iteratively, which breaks all pre-SAT logic locking techniques.

Abstract

Abstract is not available.

Citation format

YASIN, Muhammad; RAJENDRAN, Jeyavijayan; SINANOGLU, O. The SAT attack. Analog Circuits and Signal Processing, 2019.