10. SSS 2008: Detroit, MI, USA

Sandeep S. Kulkarni, André Schiper (Eds.): Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings. Lecture Notes in Computer Science 5340 Springer 2008, ISBN 978-3-540-89334-9

Keynote Talks

Anish Arora:
Keynote: Primitives for Physical Trust. 1
Michael Reiter:
Keynote: Trustworthy Services and the Biological Analogy. 2
Ulrich Schmid:
Keynote: Distributed Algorithms and VLSI. 3

MAC Layer Protocols

Mahesh Arumugam:
A Distributed and Deterministic TDMA Algorithm for Write-All-With-Collision Model. 4-18
Lyes Dekar, Hamamache Kheddouci:
Distance-2 Self-stabilizing Algorithm for a b-Coloring of Graphs. 19-31

Wireless Networks I

Jing Li, Anish Arora:
Duty Cycle Stabilization in Semi-mobile Wireless Networks. 32-46
Di Ma, Gene Tsudik:
DISH: Distributed Self-Healing. 47-62
Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët:
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks. 63-78

Stabilizing Algorithms I

Ezra N. Hoch, Danny Bickson, Danny Dolev:
Self-stabilizing Numerical Iterative Computation. 79-93
Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil:
A Self-stabilizing -Approximation Algorithm for the Maximum Matching Problem. 94-108
Ajoy Kumar Datta, Lawrence L. Larmore, Priyanka Vemula:
Self-Stabilizing Leader Election in Optimal Space. 109-123

Stabilizing Algorithms II

Thomas Clouser, Mikhail Nesterenko, Christian Scheideler:
Tiara: A Self-stabilizing Deterministic Skip List. 124-140
Doina Bein, Ajoy Kumar Datta, Chitwan K. Gupta, Lawrence L. Larmore:
Local Synchronization on Oriented Rings. 141-155
Jorge Arturo Cobb, Mohamed G. Gouda:
Stabilization of Max-Min Fair Networks without Per-flow State. 156-172

Wireless Networks II

Hirotsugu Kakugawa, Toshimitsu Masuzawa:
Convergence Time Analysis of Self-stabilizing Algorithms in Wireless Sensor Networks with Unreliable Links. 173-187
Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte:
Self-stabilizing Mobile Robot Formations with Virtual Nodes. 188-202
Murat Demirbas, Anish Arora:
An Application of Specification-Based Design of Self-stabilization to Tracking in Wireless Sensor Networks. 203-217

Security and System Models

Alex Brodsky, Scott Lindenberg:
Our Brothers' Keepers: Secure Routing with High Performance. 218-232
Taehwan Choi, Sooel Son, Mohamed G. Gouda, Jorge Arturo Cobb:
Pharewell to Phishing. 233-245
Peter Robinson, Ulrich Schmid:
The Asynchronous Bounded-Cycle Model. 246-262

Tutorial Abstract

Shlomi Dolev:
Tutorial Abstract Virtual Infrastructure. 263-264