Resettable Public-Key Encryption: How to Encrypt on a Virtual Machine