Secure Virtual Architecture: a Safe Execution Environment for Commodity Operating Systems