5 citations · 10 across the 8 of their papers we have counts for
7 papers · 1 filter
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…
Read-Write Memory and k-Set Consensus as an Affine Task
Eli Gafni, Yuan He, Petr Kuznetsov +1
The wait-free read-write memory model has been characterized as an iterated \emph{Immediate Snapshot} (IS) task. The IS task is \emph{affine}---it can be defined as a (sub)set of s…
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…
Snapshot for Time: The One-Shot Case
Eli Gafni
We show that for one-shot problems - problems where a processor executes a single operation-execution - timing constraints can be captured by conditions on the relation between ori…
Set Consensus: Captured by a Set of Runs with Ramifications
Eli Gafni
Are (set)-consensus objects necessary? This paper answer is negative. We show that the availability of consensus objects can be replaced by restricting the set of runs we consider.…
Group Mutual Exclusion in Linear Time and Space
Yuan He, Krishnan Gopalakrishnan, Eli Gafni
We present two algorithms for the Group Mutual Exclusion (GME) Problem that satisfy the properties of Mutual Exclusion, Starvation Freedom, Bounded Exit, Concurrent Entry and First…