Stabilization, Safety, and Security of Distributed Systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings /
Autor Corporativo: | |
---|---|
Otros Autores: | , |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Edición: | 1st ed. 2017. |
Colección: | Theoretical Computer Science and General Issues ;
10616 |
Materias: |
Tabla de Contenidos:
- 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. .