Proceedings of the 1st ACM workshop on Virtual machine security - Stavrou, Angelos (Association for Computing Machinery, 2009)