Performance Analysis and Optimization through Run-time Simulation and Statistics Philip J. Mucci University Of Tennessee [email protected] mucci.
Formal Methods and Computer Security John Mitchell Stanford University.
Security and Privacy in Cloud Computing