Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings. Theoretical Computer Science and General Issues

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. -- Provided by publisher Front Matter ....Pages i-xxiii Invited Paper: On the Characterization of Blockchain Consensus Under Incentives (Sara Tucci-Piergiovanni)....Pages 1-15 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 Stationary and Deterministic Leader Election in Self-organizing Particle Systems (Rida A. Bazzi, Joseph L. Briones)....Pages 22-37 Robust Privacy-Preserving Gossip Averaging (Amaury Bouchra Pilet, Davide Frey, Francois Taiani)....Pages 38-52 Synchronous t-Resilient Consensus in Arbitrary Graphs (Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers)....Pages 53-68 Tasks in Modular Proofs of Concurrent Algorithms (Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy)....Pages 69-83 On Gathering of Semi-synchronous Robots in Graphs (Serafino Cicerone, Gabriele Di Stefano, Alfredo Navarra)....Pages 84-98 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 Brief Announcement: Distributed Computing in the Asynchronous LOCAL Model (Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Mikaël Rabie)....Pages 105-110 An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms (Ha Thi Thu Doan, Adrián Riesco, Kazuhiro Ogata)....Pages 111-126 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 Reducing the Number of Messages in Self-stabilizing Protocols (Anaïs Durand, Shay Kutten)....Pages 133-148 A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory (Michael Feldmann, Thorsten Götte, Christian Scheideler)....Pages 149-164 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 iperfTZ: Understanding Network Bottlenecks for TrustZone-Based Trusted Applications (Christian Göttel, Pascal Felber, Valerio Schiavoni)....Pages 178-193 Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity (Soichiro Imoto, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa)....Pages 194-208 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 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 Fault Tolerant Network Constructors (Othon Michail, Paul G. Spirakis, Michail Theofilatos)....Pages 243-255 Ring Exploration of Myopic Luminous Robots with Visibility More Than One (Shota Nagahama, Fukuhito Ooshita, Michiko Inoue)....Pages 256-271 Brief Announcement: Self-stabilizing Construction of a Minimal Weakly \(\mathcal {ST}\)-Reachable Directed Acyclic Graph (Junya Nakamura, Masahiro Shibata, Yuichi Sudo, Yonghwan Kim)....Pages 272-276 Adaptive Versioning in Transactional Memories (Pavan Poudel, Gokarna Sharma)....Pages 277-295 Brief Announcement Blockguard: Adaptive Blockchain Security (Shishir Rai, Kendric Hood, Mikhail Nesterenko, Gokarna Sharma)....Pages 296-300 Brief Announcement: Fully Anonymous Shared Memory Algorithms (Michel Raynal, Gadi Taubenfeld)....Pages 301-306 A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus (Hugo Rincon Galeana, Kyrill Winkler, Ulrich Schmid, Sergio Rajsbaum)....Pages 307-322 Logarithmic Expected-Time Leader Election in Population Protocol Model (Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa)....Pages 323-337 A Self-stabilizing 1-Maximal Independent Set Algorithm (Hideyuki Tanaka, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy K. Datta)....Pages 338-353 Black Hole Search Despite Byzantine Agents (Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue)....Pages 354-367 Self-adjusting Linear Networks (Chen Avin, Ingo van Duijn, Stefan Schmid)....Pages 368-382 Back Matter ....Pages 383-384