CycSAT: SAT-based attack on cyclic logic encryptions.

Hai Zhou Ruifeng Jiang Shuyu Kong

Published in: ICCAD (2017)

Keyphrases

bounded model checking
logic programming
classical logic
answer set programming
model checking
countermeasures
linear temporal logic
modal logic
multi valued
ai planning
sat solvers
predicate logic
information security
integer programming
automated reasoning
computational properties
sat encodings
np hard