Workshop Program

Monday June 25, 2012
8:30 am - 10:00 am Session 1: Cloud Dependability
  THE TCLOUDS ARCHITECTURE: OPEN AND RESILIENT CLOUD-OF-CLOUDS COMPUTING
Paulo Verissimo, Alysson Bessani and Marcelo Pasin
  TOWARD A HIGH AVAILABILITY CLOUD: TECHNIQUES AND CHALLENGES
Cuong Pham, Phuong Cao, Zbigniew Kalbarczyk and Ravishankar Iyer
  DEPENDABILITY AS A CLOUD SERVICE - A MODULAR APPROACH
Jan S. Rellermeyer and Saurabh Bagchi
10:00 am - 10:30 am Coffee/Tea Break
10:30 am - 12:00 noon Session 2: Virtualization and OS
  OSPREY: OPERATING SYSTEM FOR PREDICTABLE CLOUDS
Jan Sacha, Jeff Napper, Henning Schild, Jim McKie and Sape Mullender
  DEFENDING AGAINST VM ROLLBACK ATTACK
Yubin Xia, Yutao Liu, Haibo Chen and Binyu Zang
  TINYCHECKER: TRANSPARENT PROTECTION OF VMS AGAINST HYPERVISOR FAILURES WITH NESTED VIRTUALIZATION
Cheng Tan, Yubin Xia and Haibo Chen
12:00 noon - 1:30 pm Lunch Break
1:30 pm - 3:00 pm Session 3: Cloud Security
  UTILIZING LINEAR ALGEBRA SUBSPACES TO IMPROVE CLOUD SECURITY
David Zage and James Obert
  EVIDENCE OF LOG INTEGRITY IN POLICY-BASED SECURITY MONITORING
Mirko Montanari, Jun Ho Huh, Derek Dagit, Rakesh Bobba and Roy H. Campbell
  TRONE: TRUSTWORTHY AND RESILIENT OPERATIONS IN A NETWORK ENVIRONMENT
Antonio Casimiro, Paulo Verissimo, Diego Kreutz, Filipe Araujo, Raul Barbosa, Bruno Sousa, Marilia Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan and Samuel Neves
3:00 pm - 3:30 am Coffee/Tea Break
3:30 pm - 5:00 pm Session 4: Dependability Evaluation and Verification
  AN INDEPENDENT VERIFICATION OF ERRORS AND VULNERABILITIES IN SAAS CLOUD
Santonu Sarkar, Rajeshwari Ganesan and Naveen Tewari
  A STUDY OF FAULT-TOLERANCE CHARACTERISTICS OF DATA CENTER NETWORKS
Yang Liu, Dong Lin, Jogesh Muppala and Mounir Hamdi
  MODELS FOR DEPENDABILITY AND SUSTAINABILITY ANALYSIS OF DATA CENTER COOLING ARCHITECTURES
Gustavo Callou, Paulo Maciel, Dietmar Tutsch and Julian Araujo
End of Workshop