79 citations · 413 across the 37 of their papers we have counts for
5 papers · 2 filters
Stateless Computation
Danny Dolev, Michael Erdmann, Neil Lutz +2
We present and explore a model of stateless and self-stabilizing distributed computation, inspired by real-world applications such as routing on today's Internet. Processors in our…
Possibility and Impossibility of Reliable Broadcast in the Bounded Model
Danny Dolev, Meir Spielrien
The Reliable Broadcast concept allows an honest party to send a message to all other parties and to make sure that all honest parties receive this message. In addition, it allows a…
Byzantine Processors and Cuckoo Birds: Confining Maliciousness to the Outset
Danny Dolev, Eli Gafni
Are there Byzantine Animals? A Fooling Behavior is exhibited by the Cuckoo bird. It sneakily replaces some of the eggs of other species with its own. Lest the Cuckoo extinct itself…
Some Garbage In - Some Garbage Out: Asynchronous t-Byzantine as Asynchronous Benign t-resilient system with fixed t-Trojan-Horse Inputs
Danny Dolev, Eli Gafni
We show that asynchronous faults Byzantine system is equivalent to asynchronous -resilient system, where unbeknownst to all, the private inputs of at most processors wer…
Synchronous Hybrid Message-Adversary
Danny Dolev, Eli Gafni
The theory of distributed computing, lagging in its development behind practice, has been biased in its modelling by employing mechanisms within the model mimicking reality. Realit…