Trusted Execution Environments in Byzantine-Tolerant Networks