The following papers are assigned for this Friday:

•  Xen and the Art of Virtualization, Barham et al., SOSP 2003.
   http://doi.acm.org/10.1145/945445.945462
• Analysis of the Intel Pentium's ability to support a secure virtual machine monitor, Robin, J. S. and Irvine, C. E. USENIX Security Symposium 2000.

• 2003-xensosp.pdf
  
• VMM-usenix00-0611.pdf