"CycSAT: SAT-based attack on cyclic logic encryptions."

Hai Zhou, Ruifeng Jiang, Shuyu Kong (2017)

Details and statistics

DOI: 10.1109/ICCAD.2017.8203759

access: closed

type: Conference or Workshop Paper

metadata version: 2023-08-16