CycSAT: SAT-based attack on cyclic logic encryptions

Hai Zhou, Ruifeng Jiang, Shuyu Kong

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

74 Scopus citations

Fingerprint

Dive into the research topics of 'CycSAT: SAT-based attack on cyclic logic encryptions'. Together they form a unique fingerprint.

Engineering & Materials Science