Semantic remote attestation: a virtual machine directed approach to trusted computing | Synapse