Stabilization, Safety, and Security of Distributed Systems

1. Front Matter

   Pages I-XXI

   PDF

2. Keynote Lecture

   1. Front Matter

      Pages 1-1

      PDF

   2. A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels

      • Christian Decker, Roger Wattenhofer

      Pages 3-18

3. Regular Papers

   1. Front Matter

      Pages 19-19

      PDF

   2. Reaching Approximate Byzantine Consensus with Multi-hop Communication

      • Lili Su, Nitin Vaidya

      Pages 21-35

   3. The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks

      • Quentin Bramas, Sébastien Tixeuil

      Pages 36-50

   4. Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems

      • Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit

      Pages 51-66

   5. The Match-Maker: Constant-Space Distributed Majority via Random Walks

      • Leszek Gąsieniec, David D. Hamilton, Russell Martin, Paul G. Spirakis

      Pages 67-80

   6. The k-Observer Problem on d-regular Graphs

      • Benjamin Ries, Bernhard Schamberg, Walter Unger

      Pages 81-93

   7. Functional Encryption for Cascade Automata (Extended Abstract)

      • Dan Brownstein, Shlomi Dolev, Niv Gilboa

      Pages 94-108

   8. The Implication Problem of Computing Policies

      • Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn J. H. Heule, Ehab S. Elmallah

      Pages 109-123

   9. Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples

      • Oday Jubran, Eike Möhlmann, Oliver Theel

      Pages 124-138

   10. Untangling Partial Agreement: Iterated x-consensus Simulations

       • Damien Imbs, Sergio Rajsbaum, Adrián Valle

       Pages 139-155

   11. Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols

       • Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil

       Pages 156-170

   12. Efficient and Decentralized Polling Protocol for General Social Networks

       • Bao-Thien Hoang, Abdessamad Imine

       Pages 171-186

   13. Constructing Self-stabilizing Oscillators in Population Protocols

       • Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, Yukiko Yamauchi

       Pages 187-200

   14. Towards a Universal Approach for the Finite Departure Problem in Overlay Networks

       • Andreas Koutsopoulos, Christian Scheideler, Thim Strothmann

       Pages 201-216

   15. Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms

       • Ling Zhu, Jingshu Chen, Sandeep Kulkarni

       Pages 217-232

   16. Avatar: A Time- and Space-Efficient Self-stabilizing Overlay Network

       • Andrew Berns

       Pages 233-247

   17. Self-stabilizing Virtual Synchrony

       • Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, Elad M. Schiller

       Pages 248-264

This book constitutes the refereed proceedings of the 17 International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2015, held in Edmonton, AB, Canada, in August 2015. The 16 regular papers presented together with 8 brief announcements and 3 keynote lectures were carefully reviewed and selected from 38 submissions. The Symposium is organized in several tracks, reflecting topics to self-*properties. The tracks are self-stabilization; fault-tolerance and dependability; ad-hoc and sensor networks; mobile agents; system security in distributed computing; and formal methods and distributed algorithms.

• access control
• deterministic execution
• distributed algorithm
• distributed computing
• distributed systems
• dynamic networks
• fault-tolerance
• firewalls
• formal methods
• functional encryption
• mobile agents
• routing
• self-adjusting algorithms
• self-stabilization
• sensor networks
• smart grid
• social networks
• synchronous system
• system security
• trusted third party

• Université du Québec en Outaouais, Gatineau, QC, Canada

  Andrzej Pelc

• University of Connecticut, Storrs, USA

  Alexander A. Schwarzmann

Policies and ethics