CycSAT-unresolvable cyclic logic encryption using unreachable states.
Amin RezaeiYou LiYuanqi ShenShuyu KongHai ZhouPublished in: ASP-DAC (2019)
Keyphrases
- modal logic
- classical logic
- fixed point semantics
- multi valued
- automated reasoning
- logic programming
- digital circuits
- asynchronous circuits
- predicate logic
- encryption algorithm
- secret key
- neural network
- set theory
- logical framework
- initial state
- initial conditions
- deontic logic
- encryption scheme
- image encryption
- key exchange
- encryption algorithms
- multi agent systems