Skip to main content
SpringerLink
Log in
Book cover

Stabilization, Safety, and Security of Distributed Systems

21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Mohsen Ghaffari

    1. ETH Zurich, Zurich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mikhail Nesterenko

    1. Kent State University, Kent, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Sébastien Tixeuil

    1. Sorbonne University, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Sara Tucci

    1. CEA LIST, Gif-sur-Yvette, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Yukiko Yamauchi

    1. Kyushu University, Fukuoka, Japan

    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 11914)

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

Included in the following conference series:

Conference proceedings info: SSS 2019.

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 (29 papers)

  1. Front Matter

    Pages i-xxiii
    Download chapter PDF

  2. Invited Paper: On the Characterization of Blockchain Consensus Under Incentives

    • Sara Tucci-Piergiovanni
    Pages 1-15

  3. Brief Announcement Forgive & Forget: Self-stabilizing Swarms in Spite of Byzantine Robots

    • Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Fukuhito Ooshita, Koichi Wada
    Pages 16-21

  4. Stationary and Deterministic Leader Election in Self-organizing Particle Systems

    • Rida A. Bazzi, Joseph L. Briones
    Pages 22-37

  5. Robust Privacy-Preserving Gossip Averaging

    • Amaury Bouchra Pilet, Davide Frey, Francois Taiani
    Pages 38-52

  6. Synchronous t-Resilient Consensus in Arbitrary Graphs

    • Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
    Pages 53-68

  7. Tasks in Modular Proofs of Concurrent Algorithms

    • Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
    Pages 69-83

  8. On Gathering of Semi-synchronous Robots in Graphs

    • Serafino Cicerone, Gabriele Di Stefano, Alfredo Navarra
    Pages 84-98

  9. Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction

    • Ajoy K. Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore
    Pages 99-104

  10. Brief Announcement: Distributed Computing in the Asynchronous LOCAL Model

    • Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Mikaël Rabie
    Pages 105-110

  11. An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms

    • Ha Thi Thu Doan, Adrián Riesco, Kazuhiro Ogata
    Pages 111-126

  12. Brief Announcement: Self-stabilizing LCM Schedulers for Autonomous Mobile Robots Using Neighborhood Mutual Remainder

    • Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada
    Pages 127-132

  13. Reducing the Number of Messages in Self-stabilizing Protocols

    • Anaïs Durand, Shay Kutten
    Pages 133-148

  14. A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory

    • Michael Feldmann, Thorsten Götte, Christian Scheideler
    Pages 149-164

  15. Exploration of Dynamic Ring Networks by a Single Agent with the H-hops and S-time Steps View

    • Tsuyoshi Gotoh, Yuichi Sudo, Fukuhito Ooshita, Toshimitsu Masuzawa
    Pages 165-177

  16. iperfTZ: Understanding Network Bottlenecks for TrustZone-Based Trusted Applications

    • Christian Göttel, Pascal Felber, Valerio Schiavoni
    Pages 178-193

  17. Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity

    • Soichiro Imoto, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    Pages 194-208

  18. Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems

    • Chirag Juyal, Sandeep Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani
    Pages 209-227

  19. Improved-Zigzag: An Improved Local-Information-Based Self-optimizing Routing Algorithm in Virtual Grid Networks

    • Yonghwan Kim, Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yoshiaki Katayama, Toshimitsu Masuzawa
    Pages 228-242

  20. Fault Tolerant Network Constructors

    • Othon Michail, Paul G. Spirakis, Michail Theofilatos
    Pages 243-255
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 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019.

The 21 full papers presented were carefully reviewed and selected from 45 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.

Editors and Affiliations

  • ETH Zurich, Zurich, Switzerland

    Mohsen Ghaffari

  • Kent State University, Kent, USA

    Mikhail Nesterenko

  • Sorbonne University, Paris, France

    Sébastien Tixeuil

  • CEA LIST, Gif-sur-Yvette, France

    Sara Tucci

  • Kyushu University, Fukuoka, Japan

    Yukiko Yamauchi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation