Protected: Reducing TEE Specifications