Efficient Cryptography for the Next Generation Secure Cloud: Protocols, Proofs, and Implementation