A protocol for Encrypted Execution Environments