Information Flow Control for Distributed Trusted Execution Environments