VTDS'09: EuroSys Workshop on
Virtualization Technology for Dependable Systems

Co-located with EuroSys 2009
Tuesday, 31st March, 2009
Nuremberg, Germany

http://vtsd09.di.fc.ul.pt


Workshop proceedings available at ACM

Final VTDS'09 Program:
9:15-9:30 Welcome and Introduction
9:30-10:30 Invited Speaker
Roman Drahtmüller
Linux Security Architect, Novell
Misses and chances for virtualization and security
10:30-11:00 Coffee break
11:00-12:30 Session 1
Session Chair: Hans P. Reiser
Francesco Gadaleta, Yves Younan, Bart Jacobs, Wouter Joosen, Erik De Neve and Nils Beosier Instruction-level countermeasures against stack-based buffer overflow attacks
Michael Peter, Henning Schild, Adam Lackorzynski and Alexander Warg Virtual Machines Jailed
Igor Burdonov, Alexander Kosachev and Pavel Iakovenko Virtualization-based separation of privilege: working with sensitive data in untrusted environment
12:30-14:00 Lunch break
14:00-15:30 Session 2
Session Chair: Jacob Gorm Hansen
Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat and Eric De Nadai Enhancing Dependability in Avionics Using Virtualization
Himanshu Raj and Karsten Schwan Extending Virtualization Services with Trust Guarantees via Behavioral Monitoring
Zhiyong Shan, Yang Yu and Tzi-cker Chiueh Confining Windows Inter-Process Communications for OS-Level Virtual Machine
15:30-16:00 Coffee break
16:00-17:00 Session 3
Session Chair: Rüdiger Kapitza
Discussion


Virtualization has a long tradition in computer systems research and has experienced a strong revival during the last years. This workshop is intended to be a forum for the exchange of ideas and experiences on the use of virtualization technologies (VT) for constructing dependable systems. The workshop will be specially interested in highly available, resilient, and intrusion-tolerant systems. It will center around questions such as: How to build such systems using virtualization? Can virtualization help to increase dependability? What are the risks of using virtualization? How to analyze and verify VT-based dependable systems? The workshop aims to bring together researchers in these areas to present recent results, the steps needed for deploying VT-based dependable systems in practice, discuss open problems that still need research, and target application domains for VT-based dependability.

Important dates:

Workshop topics

The topics of the workshop focus on system aspects at the local operating system level (resilience of VT, formal verification of hypervisors and OS) as well as distributed system aspects (VT-based replication, intrusion tolerance). In particular, the VTDS workshop topics include:

Submission instructions

Manuscripts must be submitted to the EasyChair submission site as printable PDF documents and should not exceed 3000 words. Formatting according to the final manuscript style (ACM standard) is recommended. Electronic submission will be available starting in January on the workshop website. Each submitted paper will be reviewed by 3 reviewers.

The camera-ready version of manuscripts must be formatted according to the ACM standard style (2-column), and must not exceed 6 pages. EuroSys will publish the accepted papers in the ACM Digital Library, International Conference Proceedings Series (AICPS).
ACM Proceedings templates: http://www.acm.org/sigs/publications/proceedings-templates

Copyright Form: VTDS-CopyrightForm.pdf.

At least one author of an accepted paper must register at the conference and present the paper at the workshop.

Workshop organizers

Program Committee