1. Towards Sound Detection of Virtual MachinesJason Franklin1 , Mark Luk1 , Jonathan M. McCune1 , Arvind Seshadri1 , Adrian Perrig1 , and Leendert van Doorn2 1 Carnegie Mellon…
