This year, SSS will feature three invited keynotes by Jean-Jacques Quisquater (UCL Crypto Group), Masafumi Yamashita (Kyushu University), and Kay Römer (ETH Zurich). The ten single track technical sessions will focus on Security (2 sessions), Fault-tolerance, Probabilistic Algorithms, Routing, Self-stabilization (2 sessions), Mobility, Peer to Peer, and Sensor Networks.

Proceedings will appear as LNCS volume 4838.

14 November, 2007

From 8:00, Registration

8:30-9:00, Opening

9:00-10:00, Keynote I: Jean-Jacques Quisquater (UCL Crypto Group), The power of cryptographic attacks: Is your network really secure against side channels attacks and malicious faults?

10:00-11:00, Session I: Security

Shlomi Dolev, Ephraim Korach and Galit Uzan. Magnifying Computing Gaps, Establishing Encrypted Communication Over Unidirectional Channels

Rainer Bye, Katja Luther, Seyit Ahmet Camtepe, Tansu Alpcan, Sahin Albayrak and Bulent Yener. Decentralized Detector Generation in Cooperative Intrusion Detection Systems

11:00-11:30, Coffee Break

11:30-13:00, Session II: Security

Jaap-Henk Hoepman, Andreas Larsson, Elad M. Schiller and Philippas Tsigas. Secure and Self-Stabilizing Clock Synchronization in Sensor Networks

Danny Dolev and Ezra Hoch. Byzantine Self-Stabilizing Pulse in a Bounded-Delay Model

Shlomi Dolev and Reuven Yagel. Stabilizing Trust and Reputation for Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests

13:00-14:30, Lunch

14:30-16:30, Session III: Fault-Tolerance

Stéphane Devismes, Carole Delporte and Hugues Fauconnier. Robust Stabilizing Leader Election

Martin Biely, Martin Hutle, Lucia Penso and Josef Widder. Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency

Arshad Jhumka and Felix Freiling. Global Predicate Detection in Distributed Systems with Small Faults

Roberto Cortinas, Felix Freiling, Marjan Ghajar-Azadanlou, Alberto Lafuente, Mikel Larrea, Lucia Penso and Iratxe Soraluze. Secure Failure Detection in TrustedPals

16:30-17:00, Coffee Break

17:00-18:30, Session IV: Probabilistic Algorithms

Taisuke Izumi and Koichi Wada. On the Probabilistic Omission Adversary

Mohamed Gouda and Yan Li. The Truth System: Can a System of Lying Processes Stabilize?

Anurag Dasgupta, Sukumar Ghosh and Xin Xiao. Probabilistic fault-containment

18:30-19:00, Business Meeting

15 November, 2007

9:00-10:00, Session V: Routing

Bogdan Chlebus, Dariusz Kowalski and Mariusz Rokicki. Stability of the multiple-access channel under maximum broadcast loads

Jorge Cobb. Stabilization of Loop-Free Dispersion Routing

10:00-11:00, Session VI: Self-Stabilization

Hui Cao and Anish Arora. Stabilization in dynamic systems with varying equilibrium

Viacheslav Chernoy, Mordechai Shalom, and Shmuel Zaks. On the Performance of Dijkstra's Third Self-Stabilizing Algorithm for Mutual Exclusion

11:00-11:30, Coffee Break

11:30-13:00, Session VII: Self-Stabilization

Bertrand Ducourthial. r-semi-group: a generic approach for designing stabilizing silent tasks

Borzoo Bonakdarpour, Sandeep Kulkarni and Fuad Abujarad. Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model

Fredrik Manne and Morten Mjelde. A Self-Stabilizing Weighted Matching Algorithm

13:00-14:30, Lunch

14:30-15:30, Keynote II: Kay Römer (Institute for Pervasive Computing), Role-based Self-Configuration of Sensor Networks

15:30-17:00, Session VIII: Sensor Networks

Young-ri Choi and Mohamed Gouda. Stabilization of Flood Sequencing Protocols in Sensor Networks

Ajoy Datta, Maria Gradinariu Potop-Butucaru, Rajesh Patel and Ai Yamazaki. Self* Minimum Connected Covers of Query Regions in Sensor Networks

Ted Herman, Sriram Pemmaraju, Laurence Pilard and Morten Mjelde. Temporal Partition in Sensor Networks

17:00-17:30, Coffee Break

17:30-18:30, Keynote III: Masafumi Yamashita (Kyushu University), Robots and Molecules

19:15-23:30, Social Program

16 November, 2007

9:00-10:00, Session IX: Mobility

Tina Nolte and Nancy Lynch. Self-Stabilization and Virtual Node Layer Emulations

Davide Canepa and Maria Gradinariu Potop-Butucaru. Flocking via leader election in robot networks

10:00-10:30, Coffee Break

10:30-12:00, Session X: Peer-to-Peer

Yu Chen and Wei Chen. Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance

Fabien Mathieu. Upper Bounds for Acyclic Preference-Based Networks

Eddy Caron, Frederic Desprez, Franck Petit and Cedric Tedeschi. Snap-stabilizing Prefix Tree for Peer-to-peer Systems

12:00-13:30, Lunch

13:30-19:00, WRAS: Workshop on Reliability, Availability, and Security