CyCsat-unresolvable cyclic logic encryption using unreachable states

Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Logic encryption has attracted much attention due to increasing IC design costs and growing number of untrusted foundries. Unreachable states in a design provide a space of flexibility for logic encryption to explore. However, due to the available access of scan chain, traditional combinational encryption cannot leverage the benefit of such flexibility. Cyclic logic encryption inserts key-controlled feedbacks into the original circuit to prevent piracy and overproduction. Based on our discovery, cyclic logic encryption can utilize unreachable states to improve security. Even though cyclic encryption is vulnerable to a powerful attack called CycSAT, we develop a new way of cyclic encryption by utilizing unreachable states to defeat CycSAT. The attack complexity of the proposed scheme is discussed and its robustness is demonstrated.

Original languageEnglish (US)
Title of host publicationASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages394-399
Number of pages6
ISBN (Electronic)9781450360074
DOIs
StatePublished - Jan 21 2019
Event24th Asia and South Pacific Design Automation Conference, ASPDAC 2019 - Tokyo, Japan
Duration: Jan 21 2019Jan 24 2019

Publication series

NameProceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Other

Other24th Asia and South Pacific Design Automation Conference, ASPDAC 2019
CountryJapan
CityTokyo
Period1/21/191/24/19

Fingerprint

Cryptography
Foundries
Feedback
Networks (circuits)
Costs

Keywords

  • CycSAT Attack
  • Cyclic Logic Encryption
  • Unreachable States

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Computer Science Applications
  • Computer Graphics and Computer-Aided Design

Cite this

Rezaei, A., Li, Y., Shen, Y., Kong, S., & Zhou, H. (2019). CyCsat-unresolvable cyclic logic encryption using unreachable states. In ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference (pp. 394-399). (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1145/3287624.3287691
Rezaei, Amin ; Li, You ; Shen, Yuanqi ; Kong, Shuyu ; Zhou, Hai. / CyCsat-unresolvable cyclic logic encryption using unreachable states. ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Institute of Electrical and Electronics Engineers Inc., 2019. pp. 394-399 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).
@inproceedings{773edaf6e87642a8a62da47f89803c2f,
title = "CyCsat-unresolvable cyclic logic encryption using unreachable states",
abstract = "Logic encryption has attracted much attention due to increasing IC design costs and growing number of untrusted foundries. Unreachable states in a design provide a space of flexibility for logic encryption to explore. However, due to the available access of scan chain, traditional combinational encryption cannot leverage the benefit of such flexibility. Cyclic logic encryption inserts key-controlled feedbacks into the original circuit to prevent piracy and overproduction. Based on our discovery, cyclic logic encryption can utilize unreachable states to improve security. Even though cyclic encryption is vulnerable to a powerful attack called CycSAT, we develop a new way of cyclic encryption by utilizing unreachable states to defeat CycSAT. The attack complexity of the proposed scheme is discussed and its robustness is demonstrated.",
keywords = "CycSAT Attack, Cyclic Logic Encryption, Unreachable States",
author = "Amin Rezaei and You Li and Yuanqi Shen and Shuyu Kong and Hai Zhou",
year = "2019",
month = "1",
day = "21",
doi = "10.1145/3287624.3287691",
language = "English (US)",
series = "Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "394--399",
booktitle = "ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference",
address = "United States",

}

Rezaei, A, Li, Y, Shen, Y, Kong, S & Zhou, H 2019, CyCsat-unresolvable cyclic logic encryption using unreachable states. in ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC, Institute of Electrical and Electronics Engineers Inc., pp. 394-399, 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019, Tokyo, Japan, 1/21/19. https://doi.org/10.1145/3287624.3287691

CyCsat-unresolvable cyclic logic encryption using unreachable states. / Rezaei, Amin; Li, You; Shen, Yuanqi; Kong, Shuyu; Zhou, Hai.

ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Institute of Electrical and Electronics Engineers Inc., 2019. p. 394-399 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - CyCsat-unresolvable cyclic logic encryption using unreachable states

AU - Rezaei, Amin

AU - Li, You

AU - Shen, Yuanqi

AU - Kong, Shuyu

AU - Zhou, Hai

PY - 2019/1/21

Y1 - 2019/1/21

N2 - Logic encryption has attracted much attention due to increasing IC design costs and growing number of untrusted foundries. Unreachable states in a design provide a space of flexibility for logic encryption to explore. However, due to the available access of scan chain, traditional combinational encryption cannot leverage the benefit of such flexibility. Cyclic logic encryption inserts key-controlled feedbacks into the original circuit to prevent piracy and overproduction. Based on our discovery, cyclic logic encryption can utilize unreachable states to improve security. Even though cyclic encryption is vulnerable to a powerful attack called CycSAT, we develop a new way of cyclic encryption by utilizing unreachable states to defeat CycSAT. The attack complexity of the proposed scheme is discussed and its robustness is demonstrated.

AB - Logic encryption has attracted much attention due to increasing IC design costs and growing number of untrusted foundries. Unreachable states in a design provide a space of flexibility for logic encryption to explore. However, due to the available access of scan chain, traditional combinational encryption cannot leverage the benefit of such flexibility. Cyclic logic encryption inserts key-controlled feedbacks into the original circuit to prevent piracy and overproduction. Based on our discovery, cyclic logic encryption can utilize unreachable states to improve security. Even though cyclic encryption is vulnerable to a powerful attack called CycSAT, we develop a new way of cyclic encryption by utilizing unreachable states to defeat CycSAT. The attack complexity of the proposed scheme is discussed and its robustness is demonstrated.

KW - CycSAT Attack

KW - Cyclic Logic Encryption

KW - Unreachable States

UR - http://www.scopus.com/inward/record.url?scp=85061144480&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85061144480&partnerID=8YFLogxK

U2 - 10.1145/3287624.3287691

DO - 10.1145/3287624.3287691

M3 - Conference contribution

T3 - Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

SP - 394

EP - 399

BT - ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Rezaei A, Li Y, Shen Y, Kong S, Zhou H. CyCsat-unresolvable cyclic logic encryption using unreachable states. In ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Institute of Electrical and Electronics Engineers Inc. 2019. p. 394-399. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC). https://doi.org/10.1145/3287624.3287691