CycSAT-Unresolvable Cyclic Logic Encryption Using Unreachable States.

Amin Rezaei You Li Yuanqi Shen Shuyu Kong Hai Zhou

Published in: IACR Cryptol. ePrint Arch. (2019)

Keyphrases

classical logic
multi valued
encryption scheme
modal logic
defeasible logic
image encryption
encryption algorithms
logic programming
predicate logic
asynchronous circuits
programming language
secret key
state transitions
fixed point semantics