Authenticating Executions For Trusted Systems