CycSAT: SAT-based attack on cyclic logic encryptions

Hai Zhou; Ruifeng Jiang; Shuyu Kong

doi:10.1109/ICCAD.2017.8203759

CycSAT: SAT-based attack on cyclic logic encryptions

Hai Zhou, Ruifeng Jiang, Shuyu Kong

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

122 Scopus citations

Abstract

Cyclic logic encryption is a newly proposed circuit obfuscation technique in hardware security. It was claimed to be SAT-unresolvable because feedback cycles were intentionally inserted under keys into the encryption. We show in the paper that even though feedback cycles introduce extra difficulty for an attacker, they can still be overcome with SAT-based techniques. Specifically, we propose CycSAT Algorithms based on SAT with different acyclic conditions that can efficiently decrypt cyclic encryptions. Experimental results have shown that our CycSAT is efficient and effective to decrypt cyclic encryptions, and we need to develop new encryptions with better security properties.

Original language	English (US)
Title of host publication	2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	49-56
Number of pages	8
ISBN (Electronic)	9781538630938
DOIs	https://doi.org/10.1109/ICCAD.2017.8203759
State	Published - Dec 13 2017
Event	36th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017 - Irvine, United States Duration: Nov 13 2017 → Nov 16 2017

Publication series

Name	IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
Volume	2017-November
ISSN (Print)	1092-3152

Other

Other	36th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017
Country/Territory	United States
City	Irvine
Period	11/13/17 → 11/16/17

Funding

This work is partially supported by NSF under CNS-1441695, CCF-1533656, CNS-1651695, and by SRC under 2014-TS-2559.

ASJC Scopus subject areas

Software
Computer Science Applications
Computer Graphics and Computer-Aided Design

Access to Document

10.1109/ICCAD.2017.8203759

Cite this

Zhou, H., Jiang, R., & Kong, S. (2017). CycSAT: SAT-based attack on cyclic logic encryptions. In 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017 (pp. 49-56). (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; Vol. 2017-November). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICCAD.2017.8203759

@inproceedings{77d374e9431049e1b7000aa9e0bc4ce5,

title = "CycSAT: SAT-based attack on cyclic logic encryptions",

abstract = "Cyclic logic encryption is a newly proposed circuit obfuscation technique in hardware security. It was claimed to be SAT-unresolvable because feedback cycles were intentionally inserted under keys into the encryption. We show in the paper that even though feedback cycles introduce extra difficulty for an attacker, they can still be overcome with SAT-based techniques. Specifically, we propose CycSAT Algorithms based on SAT with different acyclic conditions that can efficiently decrypt cyclic encryptions. Experimental results have shown that our CycSAT is efficient and effective to decrypt cyclic encryptions, and we need to develop new encryptions with better security properties.",

author = "Hai Zhou and Ruifeng Jiang and Shuyu Kong",

note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 36th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017 ; Conference date: 13-11-2017 Through 16-11-2017",

year = "2017",

month = dec,

day = "13",

doi = "10.1109/ICCAD.2017.8203759",

language = "English (US)",

series = "IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "49--56",

booktitle = "2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017",

address = "United States",

}

Zhou, H, Jiang, R & Kong, S 2017, CycSAT: SAT-based attack on cyclic logic encryptions. in 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017. IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD, vol. 2017-November, Institute of Electrical and Electronics Engineers Inc., pp. 49-56, 36th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017, Irvine, United States, 11/13/17. https://doi.org/10.1109/ICCAD.2017.8203759

CycSAT: SAT-based attack on cyclic logic encryptions. / Zhou, Hai; Jiang, Ruifeng; Kong, Shuyu.
2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017. Institute of Electrical and Electronics Engineers Inc., 2017. p. 49-56 (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; Vol. 2017-November).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - CycSAT

T2 - 36th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017

AU - Zhou, Hai

AU - Jiang, Ruifeng

AU - Kong, Shuyu

PY - 2017/12/13

Y1 - 2017/12/13

N2 - Cyclic logic encryption is a newly proposed circuit obfuscation technique in hardware security. It was claimed to be SAT-unresolvable because feedback cycles were intentionally inserted under keys into the encryption. We show in the paper that even though feedback cycles introduce extra difficulty for an attacker, they can still be overcome with SAT-based techniques. Specifically, we propose CycSAT Algorithms based on SAT with different acyclic conditions that can efficiently decrypt cyclic encryptions. Experimental results have shown that our CycSAT is efficient and effective to decrypt cyclic encryptions, and we need to develop new encryptions with better security properties.

AB - Cyclic logic encryption is a newly proposed circuit obfuscation technique in hardware security. It was claimed to be SAT-unresolvable because feedback cycles were intentionally inserted under keys into the encryption. We show in the paper that even though feedback cycles introduce extra difficulty for an attacker, they can still be overcome with SAT-based techniques. Specifically, we propose CycSAT Algorithms based on SAT with different acyclic conditions that can efficiently decrypt cyclic encryptions. Experimental results have shown that our CycSAT is efficient and effective to decrypt cyclic encryptions, and we need to develop new encryptions with better security properties.

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

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

U2 - 10.1109/ICCAD.2017.8203759

DO - 10.1109/ICCAD.2017.8203759

M3 - Conference contribution

AN - SCOPUS:85030253181

T3 - IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD

SP - 49

EP - 56

BT - 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 13 November 2017 through 16 November 2017

ER -

CycSAT: SAT-based attack on cyclic logic encryptions

Abstract

Publication series

Other

Funding

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this