Stabilization, Safety, and Security of Distributed Systems: 22nd International Symposium, SSS 2020, Austin, Tx, Usa, November 18-21, 2020, Proceedings

ISBN-13: 9783030643478 / Angielski / Miękka / 2020 / 323 str.

St?phane Devismes; Neeraj Mittal

Spis treści

Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement.- Invited Paper: Homomorphic Operations Techniques Yielding Communication Efficiency.- Boosting the E ciency of Byzantine-tolerant Reliable Communication.- Stand Up Indulgent Rendez-vous.- Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility.- A Discrete and Continuous Study of the Max-Chain-Formation Problem.- Reactive PLS for Distributed Decision.- k-Immediate Snapshot and x-Set Agreement: How Are They Related? .- Brief Announcement: Local Deal-Agreement Based Monotonic Distributed Algorithms for Load Balancing in General Graphs.- Silent MST approximation for tiny memory.- A Privacy-Preserving Collaborative Caching Approach in InformationCentric Networking.- A ne Tasks for k-Test-and-Set.- A Combinatorial Characterization of Self-Stabilizing Population Protocols.- Smoothed Analysis of Leader Election in Distributed Networks.- Brief Announcement: Byzantine Geoconsensus.- Brief Announcement: Veri able Data Sharing In Distributed Computing.- Fast Uniform Scattering on a Grid for Asynchronous Oblivious Robots.- Brief Announcement: Leader Election in the ADD Communication Model.- Physical Zero-Knowledge Proof for Suguru Puzzle.- Uniform deployment of mobile agents in dynamic rings.- Partial Gathering of Mobile Robots from Multiplicity-Allowed Congurations in Rings.- Efficient Dispersion of Mobile Agents without Global Knowledge.- Brief Announcement: TRIX: Low-Skew Pulse Propagation for Fault-Tolerant Hardware.- Time-Optimal Self-Stabilizing Leader Election on Rings in Population Protocols.- Brief Announcement: Effiectiveness of Code Hardening for Fault-Tolerant IoT Software.