Visible to the public Building Reliable and Secure Virtual Machines using Architectural Invariants