Proceedings of the 1st ACM workshop on Virtual machine security