Stabilization, Safety, and Security of Distributed Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Distributed Computing with the Cloud
3. Altmetric Badge
   Chapter 2 Byzantine-Tolerant Reliable Broadcast in the Presence of Silent Churn
4. Altmetric Badge
   Chapter 3 Building Systems of Systems with Escher
5. Altmetric Badge
   Chapter 4 Deadlock and Noise in Self-Organized Aggregation Without Computation
6. Altmetric Badge
   Chapter 5 Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance
7. Altmetric Badge
   Chapter 6 Privacy-Preserving Data Sharing for Medical Research
8. Altmetric Badge
   Chapter 7 How Do Mobile Agents Benefit from Randomness?
9. Altmetric Badge
   Chapter 8 A Lattice Linear Predicate Parallel Algorithm for the Housing Market Problem
10. Altmetric Badge
    Chapter 9 Security in Asynchronous Interactive Systems
11. Altmetric Badge
    Chapter 10 A New Problem Setting for Mobile Robots Based on Backscatter-Based Communication and Sensing
12. Altmetric Badge
    Chapter 11 Round-Oblivious Stabilizing Consensus in Dynamic Networks
13. Altmetric Badge
    Chapter 12 Towards a Robust Distributed Framework for Election-Day Voter Check-In
14. Altmetric Badge
    Chapter 13 Asynchronous Proof-of-Stake
15. Altmetric Badge
    Chapter 14 Lack of Quorum Sensing Leads to Failure of Consensus in Temnothorax Ant Emigration
16. Altmetric Badge
    Chapter 15 Location Functions for Self-stabilizing Byzantine Tolerant Swarms
17. Altmetric Badge
    Chapter 16 Applications and Implications of a General Framework for Self-Stabilizing Overlay Networks
18. Altmetric Badge
    Chapter 17 Network Scaffolding for Efficient Stabilization of the Chord Overlay Network
19. Altmetric Badge
    Chapter 18 The Agreement Power of Disagreement
20. Altmetric Badge
    Chapter 19 The Max-Line-Formation Problem
21. Altmetric Badge
    Chapter 20 Message Delivery in the Plane by Robots with Different Speeds
22. Altmetric Badge
    Chapter 21 Exploring a Dynamic Ring Without Landmark
23. Altmetric Badge
    Chapter 22 Loosely-Stabilizing Maximal Independent Set Algorithms with Unreliable Communications
24. Altmetric Badge
    Chapter 23 On Regenerating Codes and Proactive Secret Sharing: Relationships and Implications
25. Altmetric Badge
    Chapter 24 Extending Lattice Linearity for Self-stabilizing Algorithms
26. Altmetric Badge
    Chapter 25 Information Exchange in the Russian Cards Problem
27. Altmetric Badge
    Chapter 26 Compact Distributed Interactive Proofs for the Recognition of Cographs and Distance-Hereditary Graphs
28. Altmetric Badge
    Chapter 27 Asynchronous Gathering Algorithms for Autonomous Mobile Robots with Lights
29. Altmetric Badge
    Chapter 28 Synchronization Modulo k in Dynamic Networks
30. Altmetric Badge
    Chapter 29 Partial Gathering of Mobile Agents in Dynamic Rings
31. Altmetric Badge
    Chapter 30 Optimal Protocols for 2-Party Contention Resolution
32. Altmetric Badge
    Chapter 31 Computer Aided Formal Design of Swarm Robotics Algorithms
33. Altmetric Badge
    Chapter 32 Delta-State JSON CRDT: Putting Collaboration on Solid Ground
34. Altmetric Badge
    Chapter 33 Self-stabilization and Byzantine Tolerance for Maximal Independent Set
35. Altmetric Badge
    Chapter 34 Coordinating Amoebots via Reconfigurable Circuits
36. Altmetric Badge
    Chapter 35 On Optimal Doorway Egress by Autonomous Robots
37. Altmetric Badge
    Chapter 36 Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol
38. Altmetric Badge
    Chapter 37 Mitigating Internal, Stealthy DoS Attacks in Microservice Networks
39. Altmetric Badge
    Chapter 38 Flat-Combining-Based Persistent Data Structures for Non-volatile Memory
40. Altmetric Badge
    Chapter 39 SodsBC/SodsBC++ & SodsMPC: Post-quantum Asynchronous Blockchain Suite for Consensus and Smart Contracts
41. Altmetric Badge
    Chapter 40 Distributed Reconfiguration of Spanning Trees
42. Altmetric Badge
    Chapter 41 Correction to: Distributed Computing with the Cloud