10th International Symposium on Stabilization, Safety, and Security of Distributed Systems


Call for Papers


Nov 21-23 2008


Doubletree Hotel Dearborn

5801 Southfield Freeway

Detroit, MI 48228


The Symposium is a prestigious international forum for researchers and practitioners in the design and development of fault-tolerant distributed systems with self-* properties, such as self-stabilizing, self-configuring, self-organizing, self-managing, self-repairing, self-healing, self-optimizing, self-adaptive, and self-protecting.

The theory of self-stabilization has been enriched in the last 30 years by high quality research contributions in the areas of algorithmic techniques, formal methodologies, model theoretic issues, and composition techniques. All these areas are essential to the understanding and maintenance of self-* properties in fault-tolerant distributed systems.

Research in distributed systems is now at a crucial point in its evolution, marked by the importance of dynamic systems such as peer-to-peer networks, large-scale wireless sensor networks, mobile ad hoc networks, robotic networks, etc. Moreover, new applications such as grid and web services, banking and e-commerce, e-health and robotics, aerospace and avionics, automotive, industrial process control, etc. have joined the traditional applications of distributed systems.

Now, more than ever, the theory of self-stabilization has tremendous impact in these areas. Last two years, the scope of the symposium was expanded to cover all safety and security related aspects of self-* systems. The symposium solicits contributions on all these aspects from theoretical contributions, to reports of the actual experience of applying the principles of self-stabilization to static and dynamic systems.

Topics of interest include, but are not limited to:


q       self-stabilizing systems

q       self-managed, self-assembling, autonomic and adaptive systems

q       self-optimizing and self-protecting systems

q       self-* abstractions for implementing fundamental services in static and dynamic distributed systems

q       impossibility results and lower bounds for self-* systems

q       application of stabilizing algorithms and techniques in dynamic distributed systems

q       data and code stabilization

q       algorithms for self-* error detection/correction

q       models of fault-tolerant communication

q       stochastic, physical, and biological models to analyze self-* properties


q       safety critical systems

q       trust models and specifications

q       semantics of trust, distrust, mistrust, over-trust, cheat, risk and reputation

q       trust-related security and privacy

q       reliable and dependable systems

q       fault-tolerant algorithms and systems, hardware redundancy, robustness, survivable systems, failure recovery

q       program maintenance for safety preservation

q       peer-to-peer networks, sensor networks, MANETs, and wireless mesh networks

q       self-* properties and their relation with classical fault-tolerance

q       safety of election systems



q       security of network protocols

q       security of sensor and mobile networks protocols

q       secure architectures, frameworks, policy, intrusion detection/awareness

q       proactive security

q       security protocols for self-* systems

q       peer-to-peer networks, sensor networks, MANETs, and wireless mesh networks

q       security of election systems

Contributors are invited to submit a PDF file of their paper. Submissions should be no longer than 4800 words and should not exceed 12 pages on A4-size paper using at least 11 point font and reasonable margins (the page limit includes all figures, tables, and graphs). Submissions should include a cover page (that does not count toward the 12 page limit) that includes paper title, authors and affiliations, contact author's e-mail address, an abstract of the work in a few lines, and a few keywords. Submitted papers may have appendices beyond the 12 page limit, but reviewers are free to disregard any material beyond the 12 page limit. A paper submitted is expected to be original research not previously published; a submission may not be concurrently submitted or to any other conference, workshop, or journal.

The proceedings of the conference will be published in the Springer Verlag Lecture Notes in Computer Science (LNCS) series.

Keynote Speakers

Anish Arora, Ohio State University, USA

Michael Reiter, University of North Carolina at Chapel Hill, USA

Ulrich Schmid, Vienna University of Technology, Austria

Review Process

SSS 2008 review process will include rebuttal phase. Authors would be able to provide rebuttal of reviews. The intended dates for this rebuttal phase is August 10-13. Authors would have 72 hours to provide a rebuttal. It is strongly encouraged that the contact author be chosen such that he/she would be available to read his/her email during this time.

Best paper award:

A best paper award will be given to the author(s) of the best student-authored paper. A paper is eligible if a co-author is a full-time student at the time of submission and has made a significant contribution to it. To inform the program committee about a paper's eligibility, please indicate the corresponding box in the submission page.

Important Dates


Submission: July 7, 2008 for abstracts

Submission: July 10, 2008 for full papers

Initial notification: August 10, 2008 (tentative)

End of Rebuttal period: August 13, 2008 (tentative)

Final Notification: August 20, 2008

Camera Ready Submission: August 28, 2008

Conference: Nov 21-23 2008

Special Issue

Selected papers from the conference would be invited to a special issue in Theoretical Computer Science. More detailed instructions on this would be available at a later time.