Skip to main content
SpringerLink
Log in
Book cover

Stabilization, Safety, and Security of Distributed Systems

22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Stéphane Devismes

    1. Grenoble Alpes University, Saint Martin d'Hères, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Neeraj Mittal

    1. The University of Texas at Austin, Richardson, USA

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

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

Included in the following conference series:

Conference proceedings info: SSS 2020.

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

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Store-Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement

    • Hagit Attiya, Sweta Kumari, Archit Somani, Jennifer L. Welch
    Pages 1-15

  3. Invited Paper: Homomorphic Operations Techniques Yielding Communication Efficiency

    • Dor Bitan, Shlomi Dolev
    Pages 16-28

  4. Boosting the Efficiency of Byzantine-Tolerant Reliable Communication

    • Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
    Pages 29-44

  5. Stand Up Indulgent Rendezvous

    • Quentin Bramas, Anissa Lamani, Sébastien Tixeuil
    Pages 45-59

  6. Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented and Luminous Robots with Limited Visibility

    • Jannik Castenow, Jonas Harbig, Daniel Jung, Till Knollmann, Friedhelm Meyer auf der Heide
    Pages 60-64

  7. A Discrete and Continuous Study of the Max-Chain-Formation Problem

    • Jannik Castenow, Peter Kling, Till Knollmann, Friedhelm Meyer auf der Heide
    Pages 65-80

  8. Invited Paper: Reactive PLS for Distributed Decision

    • Jiaqi Chen, Shlomi Dolev, Shay Kutten
    Pages 81-96

  9. k-Immediate Snapshot and x-Set Agreement: How Are They Related?

    • Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
    Pages 97-112

  10. Brief Announcement: Local Deal-Agreement Based Monotonic Distributed Algorithms for Load Balancing in General Graphs

    • Yefim Dinitz, Shlomi Dolev, Manish Kumar
    Pages 113-117

  11. Silent MST Approximation for Tiny Memory

    • Lélia Blin, Swan Dubois, Laurent Feuilloley
    Pages 118-132

  12. A Privacy-Preserving Collaborative Caching Approach in Information-Centric Networking

    • Andrew Jones, Robert Simon
    Pages 133-150

  13. Affine Tasks for k-Test-and-Set

    • Petr Kuznetsov, Thibault Rieutord
    Pages 151-166

  14. A Combinatorial Characterization of Self-stabilizing Population Protocols

    • Shaan Mathur, Rafail Ostrovsky
    Pages 167-182

  15. Smoothed Analysis of Leader Election in Distributed Networks

    • Anisur Rahaman Molla, Disha Shur
    Pages 183-198

  16. Brief Announcement: Byzantine Geoconsensus

    • Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko
    Pages 199-204

  17. Brief Announcements: Verifiable Data Sharing in Distributed Computing

    • Kun Peng
    Pages 205-210

  18. Fast Uniform Scattering on a Grid for Asynchronous Oblivious Robots

    • Pavan Poudel, Gokarna Sharma
    Pages 211-228

  19. Brief Announcement: Leader Election in the ADD Communication Model

    • Sergio Rajsbaum, Michel Raynal, Karla Vargas
    Pages 229-234

  20. Physical Zero-Knowledge Proof for Suguru Puzzle

    • Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
    Pages 235-247
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 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020.

The 16 full papers, 7 short and 2 invited papers presented were carefully reviewed and selected from 44 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

  • Grenoble Alpes University, Saint Martin d'Hères, France

    Stéphane Devismes

  • The University of Texas at Austin, Richardson, USA

    Neeraj Mittal

Bibliographic Information

  • Book Title: Stabilization, Safety, and Security of Distributed Systems

  • Book Subtitle: 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings

  • Editors: Stéphane Devismes, Neeraj Mittal

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-64348-5

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2020

  • Softcover ISBN: 978-3-030-64347-8Published: 25 November 2020

  • eBook ISBN: 978-3-030-64348-5Published: 24 November 2020

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XI, 323

  • Number of Illustrations: 25 b/w illustrations, 20 illustrations in colour

  • Topics: Computer Communication Networks, Operating Systems, Mathematics of Computing, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation