PoDSy 2003

Workshop on Principles of Dependable Systems

June 24, 2003
San Francisco, CA

In conjunction with  The International Conference on Dependable Systems and Networks (DSN-2003)

Download Call for Papers (ASCII)
Download Call for Papers (PDF)

Access Workshop Report




Submission Details

Important Dates


Program Committee




  • [Feb 29, 2003] There have been problems with our mail server at EPFL. If you have submitted something and did not receive an acknoledgment email, please resend.
  • [Mar 26, 2003] The deadline for camera-ready copy will be extended until late April. Details will be posted here soon.
  • [Apr 2, 2003] Workshop date moved from June 23 to June 24 (Tuedsay).
  • [Apr 8, 2003] Advance program available.
  • [Apr 11, 2003] Deadline for Camera Ready Copy set to May 7, 2003.
  • [June 2, 2003] Advance program changed to final program.
  • [June 20, 2003] We invite you to participate in DSN PoDSy! We have a high quality technical program with interesting talks and look forward to hot discussions at the panel. The workshop day ends with another highlight, the DSN banquet during a evening cruise around San Francisco Bay.
  • [Sep 11, 2003]  A workshop report on the results of the discussions is available online now (included are some pictures taken at the workshop).
  • [Sep 18, 2003] Bruce Schneier talks on safety vs. security in the September 2003 issue of Crypto-Gram.


Dependable systems are supposed to satisfy an ensemble of distinct properties, namely safety, security and availability, to name a few. These properties are in parts complementary and also diverse enough to have spawned complete topic areas of their own. Consequently, work on achieving and validating the different properties has partly been performed in different communities and with varied nuances. Maybe most prominently this is true for the two areas of fault-tolerant systems on the one hand and secure systems (especially cryptography) on the other. For example, researchers in fault-tolerance often make statements about systems by treating cryptographic primitives as black boxes. This is done to simplify analysis and (sometimes) avoid number and probability theory. However, by abstracting away the basic properties of the cryptographic primitives, this severely constrains the ability to conduct rigorous security proofs. Various examples of the past show that by over-abstraction, important attributes got neglected, contributing to attack vulnerabilities in the resultant protocols. But despite these examples, many researchers have confirmed that there are strong similarities between the ways of modeling and handling uncertainty in both areas.

In this workshop we wish to bring together researchers and practicioners from both the fault-tolerance and security communities to discuss foundational topics (and related applied experiences) on the similarities and differences between both areas. The main research challenges in this context are to formulate consistent and mutually understandable notions of the relevant dependable system properties, to identify suitable models for studying these properties, and to assess fundamental abstractions of systems which are both fault-tolerant and secure. In this direction, papers are solicited which address foundational issues around the ''principles'' of dependable systems.

Contributions of interest will address topics related to, but not limited by, the following:
  • Relationship between areas of fault-tolerance and security
  • Relationship between fault-tolerance and security properties
  • Metrics for fault-tolerance and security
  • Specification, modeling and analysis of fault-tolerant and secure systems
  • Using fault-tolerance techniques to achieve security
  • Using security techniques to achieve fault-tolerance
  • Verification and validation of fault-tolerant and secure systems
  • Experiences with fault-tolerant and secure systems


The workshop is held in conjunction with DSN-2003, The International Conference on Dependable Systems and Networks, in San Francisco, California.


Two classes of papers are solicited: (a) original research contributions, and (b) position papers. Papers should be between 5 and 10 pages in length and will be reviewed by members of the program committee. Research contributions will be selected based on their
relevance to the workshop, their originality, their technical quality and their presentation. Position papers will be selected based on their presentation and the potential to foster discussion.

Please submit all contributions by sending an e-mail to Felix Gärtner (fgaertner@lpdmail.epfl.ch) no later than January 27, 2003 (extended deadline).

Accepted workshop contributions will be published in the Supplement of the 2003 International Conference on Dependable Systems and Networks.


Submissions: January 27, 2003 (extended)
Notification: March 10, 2003
Camera Ready Copy due: May 7, 2003
Workshop date: June 24, 2003


Felix Gärtner, EPF Lausanne
Klaus Kursawe, IBM Zurich
Levente Buttyán, Budapest University of Technology and Economics


Levente Buttyán, Budapest University of Technology and Economics
Christian Cachin, IBM Zurich
Felix Gärtner, EPF Lausanne
Rachid Guerraoui, EPF Lausanne
Klaus Kursawe, IBM Zurich
Heiko Mantel, DFKI
Catherine Meadows, Naval Research Labs
Peter Ryan, Univ. of Newcastle
Steve Schneider, Univ.of London
Neeraj Suri, TU Darmstadt
Paulo Verissimo, Univ. Lisboa, Portugal
Dennis Volpano, Naval Postgraduate School
Lidong Zhou, Microsoft Research




For further details, please send e-mail to Felix Gärtner (fgaertner@lpdmail.epfl.ch).

last modified:  Sep 18, 2003 (fg)