9. SSS 2007: Paris, France

• Jean-Jacques Quisquater:
  The Power of Cryptographic Attacks: Is Your Network Really Secure Against Side Channels Attacks and Malicious Faults? 1
  Electronic Edition (link) BibTeX
• Kay Römer:
  Role-Based Self-configuration of Sensor Networks. 2
  Electronic Edition (link) BibTeX
• Masafumi Yamashita:
  Robots and Molecules. 3
  Electronic Edition (link) BibTeX
• Martin Biely, Martin Hutle, Lucia Draque Penso, Josef Widder:
  Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency. 4-20
  Electronic Edition (link) BibTeX
• Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad:
  Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. 21-36
  Electronic Edition (link) BibTeX
• Rainer Bye, Katja Luther, Seyit Ahmet Çamtepe, Tansu Alpcan, Sahin Albayrak, Bülent Yener:
  Decentralized Detector Generation in Cooperative Intrusion Detection Systems. 37-51
  Electronic Edition (link) BibTeX
• Davide Canepa, Maria Gradinariu Potop-Butucaru:
  Stabilizing Flocking Via Leader Election in Robot Networks. 52-66
  Electronic Edition (link) BibTeX
• Hui Cao, Anish Arora:
  Stabilization in Dynamic Systems with Varying Equilibrium. 67-81
  Electronic Edition (link) BibTeX
• Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi:
  Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems. 82-96
  Electronic Edition (link) BibTeX
• Yu Chen, Wei Chen:
  Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance. 97-113
  Electronic Edition (link) BibTeX
• Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks:
  On the Performance of Dijkstra's Third Self-stabilizing Algorithm for Mutual Exclusion. 114-123
  Electronic Edition (link) BibTeX
• Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki:
  Stability of the Multiple-Access Channel Under Maximum Broadcast Loads. 124-138
  Electronic Edition (link) BibTeX
• Young-ri Choi, Mohamed G. Gouda:
  Stabilization of Flood Sequencing Protocols in Sensor Networks. 139-153
  Electronic Edition (link) BibTeX
• Jorge Arturo Cobb:
  Stabilization of Loop-Free Redundant Routing. 154-172
  Electronic Edition (link) BibTeX
• Roberto Cortiñas, Felix C. Freiling, Marjan Ghajar-Azadanlou, Alberto Lafuente, Mikel Larrea, Lucia Draque Penso, Iratxe Soraluze Arriola:
  Secure Failure Detection in TrustedPals. 173-188
  Electronic Edition (link) BibTeX
• Anurag Dasgupta, Sukumar Ghosh, Xin Xiao:
  Probabilistic Fault-Containment. 189-203
  Electronic Edition (link) BibTeX
• Ajoy Kumar Datta, Maria Gradinariu Potop-Butucaru, Rajesh Patel, Ai Yamazaki:
  Self* Minimum Connected Covers of Query Regions in Sensor Networks. 204-218
  Electronic Edition (link) BibTeX
• Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier:
  Robust Stabilizing Leader Election. 219-233
  Electronic Edition (link) BibTeX
• Danny Dolev, Ezra N. Hoch:
  Byzantine Self-stabilizing Pulse in a Bounded-Delay Model. 234-252
  Electronic Edition (link) BibTeX
• Shlomi Dolev, Ephraim Korach, Galit Uzan:
  Magnifying Computing GapsEstablishing Encrypted Communication over Unidirectional Channels (Extended Abstract). 253-265
  Electronic Edition (link) BibTeX
• Shlomi Dolev, Reuven Yagel:
  Stabilizing Trustand Reputationfor Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract). 266-280
  Electronic Edition (link) BibTeX
• Bertrand Ducourthial:
  r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks. 281-295
  Electronic Edition (link) BibTeX
• Felix C. Freiling, Arshad Jhumka:
  Global Predicate Detection in Distributed Systems with Small Faults. 296-310
  Electronic Edition (link) BibTeX
• Mohamed G. Gouda, Yan Li:
  The Truth System: Can a System of Lying Processes Stabilize? 311-324
  Electronic Edition (link) BibTeX
• Ted Herman, Sriram V. Pemmaraju, Laurence Pilard, Morten Mjelde:
  Temporal Partition in Sensor Networks. 325-339
  Electronic Edition (link) BibTeX
• Jaap-Henk Hoepman, Andreas Larsson, Elad Michael Schiller, Philippas Tsigas:
  Secure and Self-stabilizing Clock Synchronization in Sensor Networks. 340-356
  Electronic Edition (link) BibTeX
• Taisuke Izumi, Koichi Wada:
  On the Probabilistic Omission Adversary. 357-371
  Electronic Edition (link) BibTeX
• Fabien Mathieu:
  Upper Bounds for Stabilization in Acyclic Preference-Based Systems. 372-382
  Electronic Edition (link) BibTeX
• Fredrik Manne, Morten Mjelde:
  A Self-stabilizing Weighted Matching Algorithm. 383-393
  Electronic Edition (link) BibTeX
• Tina Nolte, Nancy A. Lynch:
  Self-stabilization and Virtual Node Layer Emulations. 394-408
  Electronic Edition (link) BibTeX