ECS289M Class Project

Weimin Lu and Marty Nicholes

Project 1 Title: Analysis of Attacks on XEN, a Virtual Machine Monitor

Project Proposal:    (project_proposal.pdf)

Project 2 Title: Checking Temporal Safety Properties in MySQL

Project Proposal:    (project_proposal_2.pdf)