Stabilization, Safety, and Security of Distributed Systems
Stabilization, Safety, and Security of Distributed Systems
19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings
Spirakis, Paul; Tsigas, Philippas
Springer International Publishing AG
10/2017
496
Mole
Inglês
9783319690834
15 a 20 dias
7664
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 Synthesisof 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 Consensuswith 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.
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 Synthesisof 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 Consensuswith 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.