Leveraging speculative architectures for run-time program validation