A hybrid encryption scheme based on the satisfiability problem.
Rui SunQiao PengYouliang TianPublished in: GlobalSIP (2017)
Keyphrases
- satisfiability problem
- encryption scheme
- np complete
- search algorithm
- standard model
- temporal logic
- phase transition
- sat problem
- stochastic local search algorithms
- ciphertext
- data sharing
- public key
- stochastic local search
- secret key
- hash functions
- diffie hellman
- proxy re encryption
- max sat
- constraint satisfaction
- peer to peer
- low cost
- np hard