Secure Execution, Flawed Reasoning?