ADEC: Assured Deletion and Verifiable Version Control for Cloud Storage | IEEE Conference Publication | IEEE Xplore