Proceedings of the 1st ACM Workshop on Virtual Machine Security