LEVER: Secure Deduplicated Cloud Storage With Encrypted Two-Party Interactions in Cyber--Physical Systems | IEEE Journals & Magazine | IEEE Xplore