Completeness of Hoare logic with inputs over the standard model.

Zhaowei Xu Yuefei Sui Wenhui Zhang

Published in: Theor. Comput. Sci. (2016)

Keyphrases

standard model
diffie hellman
signature scheme
proxy re encryption
image processing
encryption scheme
low cost
provably secure
relational databases
image compression
ciphertext