Stabilization, Safety, and Security of Distributed Systems: 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings

Front Matter ....Pages i-xi
 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
 Invited Paper: Homomorphic Operations Techniques Yielding Communication Efficiency  (Dor Bitan, Shlomi Dolev)....Pages 16-28
 Boosting the Efficiency of Byzantine-Tolerant Reliable Communication  (Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil)....Pages 29-44
 Stand Up Indulgent Rendezvous  (Quentin Bramas, Anissa Lamani, Sébastien Tixeuil)....Pages 45-59
 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
 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
 Invited Paper: Reactive PLS for Distributed Decision  (Jiaqi Chen, Shlomi Dolev, Shay Kutten)....Pages 81-96
 k-Immediate Snapshot and x-Set Agreement: How Are They Related?  (Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal)....Pages 97-112
 Brief Announcement: Local Deal-Agreement Based Monotonic Distributed Algorithms for Load Balancing in General Graphs  (Yefim Dinitz, Shlomi Dolev, Manish Kumar)....Pages 113-117
 Silent MST Approximation for Tiny Memory  (Lélia Blin, Swan Dubois, Laurent Feuilloley)....Pages 118-132
 A Privacy-Preserving Collaborative Caching Approach in Information-Centric Networking  (Andrew Jones, Robert Simon)....Pages 133-150
 Affine Tasks for k-Test-and-Set  (Petr Kuznetsov, Thibault Rieutord)....Pages 151-166
 A Combinatorial Characterization of Self-stabilizing Population Protocols  (Shaan Mathur, Rafail Ostrovsky)....Pages 167-182
 Smoothed Analysis of Leader Election in Distributed Networks  (Anisur Rahaman Molla, Disha Shur)....Pages 183-198
 Brief Announcement: Byzantine Geoconsensus  (Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko)....Pages 199-204
 Brief Announcements: Verifiable Data Sharing in Distributed Computing  (Kun Peng)....Pages 205-210
 Fast Uniform Scattering on a Grid for Asynchronous Oblivious Robots  (Pavan Poudel, Gokarna Sharma)....Pages 211-228
 Brief Announcement: Leader Election in the ADD Communication Model  (Sergio Rajsbaum, Michel Raynal, Karla Vargas)....Pages 229-234
 Physical Zero-Knowledge Proof for Suguru Puzzle  (Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki)....Pages 235-247
 Uniform Deployment of Mobile Agents in Dynamic Rings  (Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yonghwan Kim)....Pages 248-263
 Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations in Rings  (Masahiro Shibata, Sébastien Tixeuil)....Pages 264-279
 Efficient Dispersion of Mobile Agents without Global Knowledge  (Takahiro Shintaku, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa)....Pages 280-294
 Brief Announcement: TRIX: Low-Skew Pulse Propagation for Fault-Tolerant Hardware  (Christoph Lenzen, Ben Wiederhake)....Pages 295-300
 Time-Optimal Self-stabilizing Leader Election on Rings in Population Protocols  (Daisuke Yokota, Yuichi Sudo, Toshimitsu Masuzawa)....Pages 301-316
 Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software  (Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre)....Pages 317-322
Back Matter ....Pages 323-323