ScanSAT: Unlocking static and dynamic scan obfuscation

Authors: L. Alrahis, M. Yasin, N. Limaye, H. Saleh, B. Mohammad, M. Al-Qutayri, O. Sinanoglu

IEEE Transactions on Emerging Topics in Computing, vol. 9, issue 4, pp. 1867-1882; Sep. 2019