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
