@inproceedings{557d6b0c84184ad38fb67f37258f3fc1,
title = "SigAttack: New High-level SAT-based Attack on Logic Encryptions",
abstract = "Logic encryption is a powerful hardware protection technique that uses extra key inputs to lock a circuit from piracy or unauthorized use. The recent discovery of the SAT-based attack with Distinguishing Input Pattern (DIP) generation has rendered all traditional logic encryptions vulnerable, and thus the creation of new encryption methods. However, a critical question for any new encryption method is whether security against the DIP-generation attack means security against all other attacks. In this paper, a new high-level SAT-based attack called SigAttack has been discovered and thoroughly investigated. It is based on extracting a key-revealing signature in the encryption. A majority of all known SAT-resilient encryptions are shown to be vulnerable to SigAttack. By formulating the condition under which SigAttack is effective, the paper also provides guidance for the future logic encryption design.",
author = "Yuanqi Shen and You Li and Shuyu Kong and Amin Rezaei and Hai Zhou",
note = "Funding Information: This work is partially supported by NSF under CNS-1441695, CCF-1533656, and CNS-1651695. Publisher Copyright: {\textcopyright} 2019 EDAA.; 22nd Design, Automation and Test in Europe Conference and Exhibition, DATE 2019 ; Conference date: 25-03-2019 Through 29-03-2019",
year = "2019",
month = may,
day = "14",
doi = "10.23919/DATE.2019.8714924",
language = "English (US)",
series = "Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "940--943",
booktitle = "Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019",
address = "United States",
}