↓ Skip to main content
What is this page? Embed badge

Stabilization, Safety, and Security of Distributed Systems

Overview of attention for book
Cover of 'Stabilization, Safety, and Security of Distributed Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations
  3. Altmetric Badge
    Chapter 2 Model Checking of Distributed Algorithms Using Synchronous Programs
  4. Altmetric Badge
    Chapter 3 The Fence Complexity of Persistent Sets
  5. Altmetric Badge
    Chapter 4 Brief Announcement: Understanding Self-stabilizing Node-Capacitated Overlay Networks Through Simulation
  6. Altmetric Badge
    Chapter 5 Brief Announcement: Byzantine-Tolerant Detection of Causality in Synchronous Systems
  7. Altmetric Badge
    Chapter 6 Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20
  8. Altmetric Badge
    Chapter 7 Adding Pull to Push Sum for Approximate Data Aggregation
  9. Altmetric Badge
    Chapter 8 Exploring Trade-Offs in Partial Snapshot Implementations
  10. Altmetric Badge
    Chapter 9 Brief Announcement: Non-blocking Dynamic Unbounded Graphs with Wait-Free Snapshot
  11. Altmetric Badge
    Chapter 10 Byzantine Fault-Tolerant Causal Order Satisfying Strong Safety
  12. Altmetric Badge
    Chapter 11 Improved Paths to Stability for the Stable Marriage Problem
  13. Altmetric Badge
    Chapter 12 Lattice Linearity of Multiplication and Modulo
  14. Altmetric Badge
    Chapter 13 The Fagnano Triangle Patrolling Problem (Extended Abstract)
  15. Altmetric Badge
    Chapter 14 Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho
  16. Altmetric Badge
    Chapter 15 Robust Overlays Meet Blockchains
  17. Altmetric Badge
    Chapter 16 Disconnected Agreement in Networks Prone to Link Failures
  18. Altmetric Badge
    Chapter 17 Where Are the Constants? New Insights on the Role of Round Constant Addition in the SymSum Distinguisher
  19. Altmetric Badge
    Chapter 18 Invited Paper: Detection of False Data Injection Attacks in Power Systems Using a Secured-Sensors and Graph-Based Method
  20. Altmetric Badge
    Chapter 19 KerberSSIze Us: Providing Sovereignty to the People
  21. Altmetric Badge
    Chapter 20 Hierarchical Identity-Based Inner Product Functional Encryption for Unbounded Hierarchical Depth
  22. Altmetric Badge
    Chapter 21 Brief Announcement: Efficient Probabilistic Approximations for  Sign and  Compare
  23. Altmetric Badge
    Chapter 22 Meeting Times of Non-atomic Random Walks
  24. Altmetric Badge
    Chapter 23 Minimum Algorithm Sizes for Self-stabilizing Gathering and Related Problems of Autonomous Mobile Robots (Extended Abstract)
  25. Altmetric Badge
    Chapter 24 Separation of Unconscious Colored Robots
  26. Altmetric Badge
    Chapter 25 Forbidden Patterns in Temporal Graphs Resulting from Encounters in a Corridor
  27. Altmetric Badge
    Chapter 26 Uniform k -Circle Formation by Fat Robots
  28. Altmetric Badge
    Chapter 27 Brief Announcement: Rendezvous on a Known Dynamic Point in a Finite Unoriented Grid
  29. Altmetric Badge
    Chapter 28 Brief Announcement: Crash-Tolerant Exploration by Energy Sharing Mobile Agents
  30. Altmetric Badge
    Chapter 29 Time-Optimal Geodesic Mutual Visibility of Robots on Grids Within Minimum Area
  31. Altmetric Badge
    Chapter 30 Privacy in Population Protocols with Probabilistic Scheduling
  32. Altmetric Badge
    Chapter 31 Dispersion of Mobile Robots in Spite of Faults
  33. Altmetric Badge
    Chapter 32 Brief Announcement: Asynchronous Gathering of Finite Memory Robots on a Circle Under Limited Visibility
  34. Altmetric Badge
    Chapter 33 Wait-Free Updates and Range Search Using Uruv
  35. Altmetric Badge
    Chapter 34 Stand-Up Indulgent Gathering on Lines
  36. Altmetric Badge
    Chapter 35 Offline Constrained Backward Time Travel Planning
  37. Altmetric Badge
    Chapter 36 Machine Learning-Based Phishing Detection Using URL Features: A Comprehensive Review
  38. Altmetric Badge
    Chapter 37 Workflow Resilience for Mission Critical Systems
  39. Altmetric Badge
    Chapter 38 Invited Paper: How Do Humans Succeed in Tasks Like Proving Fermat’s Theorem or Predicting the Higgs Boson?
  40. Altmetric Badge
    Chapter 39 Self-stabilizing Byzantine-Tolerant Recycling
  41. Altmetric Badge
    Chapter 40 Do Not Trust in Numbers: Practical Distributed Cryptography with General Trust
  42. Altmetric Badge
    Chapter 41 Synergistic Knowledge
  43. Altmetric Badge
    Chapter 42 Post-quantum Secure Stateful Deterministic Wallet from Code-Based Signature Featuring Uniquely Rerandomized Keys
  44. Altmetric Badge
    Chapter 43 Square Attacks on Reduced-Round FEA-1 and FEA-2
  45. Altmetric Badge
    Chapter 44 Asynchronous Silent Programmable Matter: Line Formation
Attention for Chapter 6: Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
1 Dimensions
Summary X Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20
Chapter number 6
Book title
Stabilization, Safety, and Security of Distributed Systems
Published by
Springer, Cham, January 2023
DOI 10.1007/978-3-031-44274-2_6
Book ISBNs
978-3-03-144273-5, 978-3-03-144274-2
Authors

Gafni, Eli, Losa, Giuliano

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.