Skip to main content
  • Conference proceedings
  • © 2017

Stabilization, Safety, and Security of Distributed Systems

19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10616)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): SSS: International Symposium on Stabilizing, Safety, and Security of Distributed Systems

Conference proceedings info: SSS 2017.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (38 papers)

  1. Front Matter

    Pages I-XIII
  2. Proof-Labeling Schemes: Broadcast, Unicast and in Between

    • Boaz Patt-Shamir, Mor Perry
    Pages 1-17
  3. Self-stabilizing Rendezvous of Synchronous Mobile Agents in Graphs

    • Fukuhito Ooshita, Ajoy K. Datta, Toshimitsu Masuzawa
    Pages 18-32
  4. The Dynamics and Stability of Probabilistic Population Processes

    • Ioannis Chatzigiannakis, Paul Spirakis
    Pages 33-45
  5. Self-stabilizing Distributed Stable Marriage

    • Marie Laveau, George Manoussakis, Joffroy Beauquier, Thibault Bernard, Janna Burman, Johanne Cohen et al.
    Pages 46-61
  6. Self-tuning Eventually-Consistent Data Stores

    • Shankha Chatterjee, Wojciech Golab
    Pages 78-92
  7. Fault-Induced Dynamics of Oblivious Robots on a Line

    • Jean-Lou De Carufel, Paola Flocchini
    Pages 126-141
  8. Relaxed Data Types as Consistency Conditions

    • Edward Talmage, Jennifer L. Welch
    Pages 142-156
  9. Ant-Inspired Dynamic Task Allocation via Gossiping

    • Hsin-Hao Su, Lili Su, Anna Dornhaus, Nancy Lynch
    Pages 157-171
  10. Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited Visibility

    • Akihiro Monde, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
    Pages 172-186
  11. Robust Routing Made Easy

    • Christoph Lenzen, Moti Medina
    Pages 187-202
  12. Generalized Paxos Made Byzantine (and Less Complex)

    • Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues
    Pages 203-218
  13. How to Simulate Message-Passing Algorithms in Mobile Agent Systems with Faults

    • Tsuyoshi Gotoh, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    Pages 234-249
  14. A Self-stabilizing General De Bruijn Graph

    • Michael Feldmann, Christian Scheideler
    Pages 250-264
  15. Constant-Time Complete Visibility for Asynchronous Robots with Lights

    • Gokarna Sharma, Ramachandran Vaidyanathan, Jerry L. Trahan
    Pages 265-281
  16. On Security Analysis of Proof-of-Elapsed-Time (PoET)

    • Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu, Weidong Shi
    Pages 282-297

Other Volumes

  1. Stabilization, Safety, and Security of Distributed Systems

About this book

This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017.

The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions. This year the Symposium was organized into three tracks reflecting major trends related to self-* systems: Stabilizing Systems: Theory and Practice: Distributed Computing and Communication Networks; and Computer Security and Information Privacy.

Editors and Affiliations

  • University of Liverpool, Liverpool, United Kingdom

    Paul Spirakis

  • Chalmers University of Technology, Gothenburg, Sweden

    Philippas Tsigas

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access