@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 = "Funding Information: This work is partially supported by NSF under CNS-1441695, CCF-1533656, CNS-1651695, and by SRC under 2014-TS-2559. 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",
}