Future-proofing Trusted Execution Environments Against the Emerging Threats of Speculative Execution