The document proposes protocols for secure launch of virtual machines (VMs) in Infrastructure as a Service (IaaS) clouds. This would provide cloud tenants assurance that their VM instances were launched on hosts with expected software stacks. Currently, cloud tenants have limited control over security mechanisms and lack symbols confirming the integrity of their VM hosts. The proposed protocols aim to address this by verifying platform integrity for hosts and giving tenants symbols of expected code stacks for their launched VMs.