From Trusted to Secure: Building and Executing Applications That Enforce System Security