Skip to main content
SpringerLink
Log in

Stabilization, Safety, and Security of Distributed Systems

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

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Paul Spirakis

    1. University of Liverpool, Liverpool, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Philippas Tsigas

    1. Chalmers University of Technology, Gothenburg, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: SSS 2017.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (38 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  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. Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping

    • Volker Turau
    Pages 62-77

  7. Self-tuning Eventually-Consistent Data Stores

    • Shankha Chatterjee, Wojciech Golab
    Pages 78-92

  8. An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon for Arbitrary Networks

    • Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil
    Pages 93-108

  9. An Improved Approximate Consensus Algorithm in the Presence of Mobile Faults

    • Lewis Tseng
    Pages 109-125

  10. Fault-Induced Dynamics of Oblivious Robots on a Line

    • Jean-Lou De Carufel, Paola Flocchini
    Pages 126-141

  11. Relaxed Data Types as Consistency Conditions

    • Edward Talmage, Jennifer L. Welch
    Pages 142-156

  12. Ant-Inspired Dynamic Task Allocation via Gossiping

    • Hsin-Hao Su, Lili Su, Anna Dornhaus, Nancy Lynch
    Pages 157-171

  13. 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

  14. Robust Routing Made Easy

    • Christoph Lenzen, Moti Medina
    Pages 187-202

  15. Generalized Paxos Made Byzantine (and Less Complex)

    • Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues
    Pages 203-218

  16. ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms

    • Fathiyeh Faghih, Borzoo Bonakdarpour
    Pages 219-233

  17. How to Simulate Message-Passing Algorithms in Mobile Agent Systems with Faults

    • Tsuyoshi Gotoh, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    Pages 234-249

  18. A Self-stabilizing General De Bruijn Graph

    • Michael Feldmann, Christian Scheideler
    Pages 250-264

  19. Constant-Time Complete Visibility for Asynchronous Robots with Lights

    • Gokarna Sharma, Ramachandran Vaidyanathan, Jerry L. Trahan
    Pages 265-281

  20. On Security Analysis of Proof-of-Elapsed-Time (PoET)

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

Other volumes

  1. Stabilization, Safety, and Security of Distributed Systems

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation