77 citations · 269 across the 54 of their papers we have counts for
23 papers · 1 filter
Bloom Filter Look-Up Tables for Private and Secure Distributed Databases in Web3 (Revised Version)
Shlomi Dolev, Ehud Gudes, Daniel Shlomo
The rapid growth of decentralized systems in theWeb3 ecosystem has introduced numerous challenges, particularly in ensuring data security, privacy, and scalability [3, 8]. These sy…
Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults
Shlomi Dolev, Amit Hendin, Maurice Herlihy +2
The ability to perform repeated Byzantine agreement lies at the heart of important applications such as blockchain price oracles or replicated state machines. Any such protocol req…
Accelerating Amoebots via Reconfigurable Circuits
Michael Feldmann, Andreas Padalkin, Christian Scheideler +1
We consider an extension to the geometric amoebot model that allows amoebots to form so-called \emph{circuits}. Given a connected amoebot structure, a circuit is a subgraph formed…
Reactive Proof Labeling Schemes for Distributed Decision
Jiaqi Chen, Shlomi Dolev, Shay Kutten
We generalize the definition of Proof Labeling Schemes to reactive systems, that is, systems where the configuration is supposed to keep changing forever. As an example, we address…
Local Deal-Agreement Based Monotonic Distributed Algorithms for Load Balancing in General Graphs
Yefim Dinitz, Shlomi Dolev, Manish Kumar
In computer networks, participants may cooperate in processing tasks, so that loads are balanced among them. We present local distributed algorithms that (repeatedly) use local imb…
Self-Stabilizing Automatic Repeat Request Algorithms for (Bounded Capacity, Omitting, Duplicating and non-FIFO) Computer Networks
Shlomi Dolev, Ariel Hanemann, Elad Micahel Schiller +1
End-to-end communication over the network layer (or data link in overlay networks) is one of the most important communication tasks in every communication network, including legacy…