Workshop proceedings available at ACM
Final VTDS'09 Program:
||Welcome and Introduction
|Misses and chances for virtualization and security
Session Chair: Hans P. Reiser
|Instruction-level countermeasures against stack-based buffer overflow attacks
Virtual Machines Jailed
Virtualization-based separation of privilege: working with sensitive data in untrusted environment
Session Chair: Jacob Gorm Hansen
|Enhancing Dependability in Avionics Using Virtualization
Extending Virtualization Services with Trust Guarantees via Behavioral Monitoring
Confining Windows Inter-Process Communications for OS-Level Virtual Machine
Session Chair: Rüdiger Kapitza
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
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.
Submission of abstracts:
Jan. 19, 2009
Submission of contributions (extended):
Jan. 26, 2009
Notification of acceptance:
Feb. 16, 2009
Mar. 2, 2009
Workshop: Mar. 31, 2009
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
In particular, the VTDS workshop topics include:
Virtualization-based mechanism for tolerating faults and intrusions
Security aspects of using virtualization in distributed environments
Resilience of virtualization technology
Implementing a trusted computing base with virtualization technology
Modelling the resilience of virtualization-based dependable systems
Formal verification of hypervisors and operating systems
Adaptivity in VT-based dependable systems
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:
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.
Hans P. Reiser (Primary contact)
Faculdade de Ciências, Universidade de Lisboa
Artur Andrzejak (Zuse Institute Berlin, Germany)
Miguel Correia (Univ. Lisboa, Portugal)
Uwe Dannowski (AMD)
Christof Fetzer (Univ. Dresden, Germany)
Jacob G. Hansen (VMware)
Xuxian Jiang (North Carolina State University, US)
Miroslaw Malek (HU Berlin, Germany)
Carlos Maziero (PUCPR, Brazil)
HariGovind Ramasamy (IBM Research, US)
Matthias Schunter (IBM Zurich)
Jordi Torres (TU Catalonia, Barcelona, Spain)
Andrew Warfield (University of British Columbia, Canada)