[Resource Topic] 2017/626: CycSAT: SAT-Based Attack on Cyclic Logic Encryptions

Welcome to the resource topic for 2017/626

CycSAT: SAT-Based Attack on Cyclic Logic Encryptions

Authors: Hai Zhou, Ruifeng Jiang, Shuyu Kong


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.

ePrint: https://eprint.iacr.org/2017/626

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .