Stabilization, Safety, and Security of Distributed Systems: 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

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