Gravar-mail: Secure Abstractions for Trusted Cloud Computation