Stabilization, Safety, and Security of Distributed Systems: 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings - Softcover

Softcover

ISBN 10: 331969085X ISBN 13: 9783319690858

Publisher: Springer, 2017

Synopsis

Proof-Labeling Schemes: Broadcast, Unicast and in Between.- Self-Stabilizing Rendezvous of Synchronous Mobile Agents in Graphs.- The Dynamics and Stability of Probabilistic Population Processes.- Self-stabilizing Distributed Stable Marriage.- Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping.- Self-Tuning Eventually-Consistent Data Stores.- An Efficient Silent Self-Stabilizing 1-Maximal Matching Algorithm under Distributed Daemon for Arbitrary Networks.- An Improved Approximate Agreement Algorithm in the Presence of

Mobile Byzantine Faults.- Fault-Induced Dynamics of Oblivious Robots on a Line.- Relaxed Data Types as Consistency Conditions.- Ant-Inspired Dynamic Task Allocation via Gossiping.- Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited visibility.- Robust Routing Made Easy.- Generalized Paxos Made Byzantine (and Less Complex).- ASSESS: A Tool for Automated Synthesis of Distributed Self-Stabilizing Algorithms.- How to Simulate Message-passing Algorithms in mobile agent systems with faults.- A Self-Stabilizing General De Bruijn Graph.- Constant-Time Complete Visibility for Asynchronous Robots with Lights.- On Security Analysis of Proof-of-Elapsed-Time (PoET).- Brief Announcement: Federated Code Auditing and Delivery for MPC.- Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees.- A Fully Asynchronous and Fault Tolerant Distributed Algorithm to Compute a Minimum Graph Orientation.- Universally Optimal Gathering under Limited Visibility.- Optimum Algorithm for Mutual Visibility among Asynchronous Robots with Lights.- Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin.- Scalable Funding of Bitcoin Micropayment Channel Networks.- Brief Announcement: A Self-stabilizing Algorithm for the Minimal Generalized Dominating Set Problem.- Space-Optimal Proportion Consensus with Population Protocols.- Brief Announcement: Asynchronous, Distributed Optical Mutual Exclusion.- Brief Announcement: Passive and Active Attacks on Audience Response Systems Using Software Defined Radios.- Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness.- TorBricks: Blocking-Resistant Tor Bridge Distribution.- Cover Time in Edge-Uniform Stochastically-Evolving Graphs.- Bitcoin a Distributed Shared Register.- Broadcast Encryption with Both Temporary and Permanent Revocation.- Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights.- Brief Announcement: Space-efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings.

Edition details

• Publisher: Springer
• Publication date: 2017
• ISBN 10: 331969085X
• ISBN 13: 9783319690858
• Binding: Paperback
• Language: English
• Number of pages: 512
• Editor: Spirakis Paul, Tsigas Philippas