A SAT-based public key encryption scheme.

Sebastian E. Schmittner

Published in: CoRR (2015)

Keyphrases

public key encryption scheme
public key
forward secure
standard model
answer set programming
bounded model checking
sat solvers
encryption scheme
cca secure
secret key
security model
blind signature scheme
planning domains
public key cryptosystem
signature scheme
ciphertext
motion estimation
image quality
low cost