On Completeness Results of Hoare Logic Relative to the Standard Model.

Zhaowei Xu Wenhui Zhang Yuefei Sui

Published in: CoRR (2017)

Keyphrases

standard model
signature scheme
encryption scheme
ciphertext
diffie hellman
proxy re encryption
provably secure
public key encryption scheme