Login / Signup

Completeness of Hoare Logic Relative to the Standard Model.

Zhaowei XuWenhui ZhangYuefei Sui
Published in: SOFSEM (2017)
Keyphrases
  • standard model
  • diffie hellman
  • signature scheme
  • proxy re encryption
  • forward secure
  • encryption scheme
  • ciphertext
  • database
  • public key encryption scheme
  • provably secure