TY - GEN
T1 - Global Attack and Remedy on IC-Specific Logic Encryption
AU - Rezaei, Amin
AU - Hedayatipour, Ava
AU - Sayadi, Hossein
AU - Aliasgari, Mehrdad
AU - Zhou, Hai
N1 - Funding Information:
V. ACKNOWLEDGEMENT This work is supported by NSF under award No. 2131156.
Publisher Copyright:
© 2022 IEEE.
PY - 2022
Y1 - 2022
N2 - In recent years, semiconductor industry has out-sourced the manufacturing to low-cost but not necessarily trusted foundries. This fabless business model encounters new security challenges, including piracy and overproduction. A well-studied solution to prevent unauthorized products from functioning is logic encryption, where a chip is encrypted using a key only known to the designer. However, the majority of the logic encryption solutions are vulnerable due to key uniformity and probing attacks. In this paper, we first present GSAT, a Global attack on existing IC-specific logic encryption schemes using the SAT model, that effectively deciphers the hidden global key pluggable to all the encrypted ICs. Next, we propose a highly secure and low-cost remedy called SPLEnD: Strong PUF -based Logic Encryption Design. Traditional I C-specific encryption schemes are vulnerable to GSAT attack, while SPLEnD not only effectively resists GSAT, but also balances security and efficiency.
AB - In recent years, semiconductor industry has out-sourced the manufacturing to low-cost but not necessarily trusted foundries. This fabless business model encounters new security challenges, including piracy and overproduction. A well-studied solution to prevent unauthorized products from functioning is logic encryption, where a chip is encrypted using a key only known to the designer. However, the majority of the logic encryption solutions are vulnerable due to key uniformity and probing attacks. In this paper, we first present GSAT, a Global attack on existing IC-specific logic encryption schemes using the SAT model, that effectively deciphers the hidden global key pluggable to all the encrypted ICs. Next, we propose a highly secure and low-cost remedy called SPLEnD: Strong PUF -based Logic Encryption Design. Traditional I C-specific encryption schemes are vulnerable to GSAT attack, while SPLEnD not only effectively resists GSAT, but also balances security and efficiency.
KW - Logic Encryption
KW - Logic Locking
KW - Physical Un-clonable Function
KW - Probing Attack
KW - SAT-based Attack
UR - http://www.scopus.com/inward/record.url?scp=85136388657&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85136388657&partnerID=8YFLogxK
U2 - 10.1109/HOST54066.2022.9840128
DO - 10.1109/HOST54066.2022.9840128
M3 - Conference contribution
AN - SCOPUS:85136388657
T3 - Proceedings of the 2022 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2022
SP - 145
EP - 148
BT - Proceedings of the 2022 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2022
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2022 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2022
Y2 - 27 June 2022 through 30 June 2022
ER -