Self-stabilizing and private distributed shared atomic memory in seldomly fair message passing networks

S Dolev, T Petig, EM Schiller - Algorithmica, 2023 - Springer
We study the problem of privately emulating shared memory in message-passing networks.
The system includes clients that store and retrieve replicated information on N servers, out of …

Self-stabilizing uniform reliable broadcast

O Lundström, M Raynal, E M. Schiller - International Conference on …, 2020 - Springer
We study a well-known communication abstraction called Uniform Reliable Broadcast
(URB). URB is central in the design and implementation of fault-tolerant distributed systems …

[HTML][HTML] Self-stabilizing multivalued consensus in asynchronous crash-prone systems

O Lundström, M Raynal, EM Schiller - Theoretical Computer Science, 2024 - Elsevier
The multivalued consensus problem is a fundamental issue in fault-tolerant distributed
computing. It encompasses a wide range of agreement problems where processes must …

Renaissance: A self-stabilizing distributed SDN control plane

M Canini, I Salem, L Schiff, EM Schiller… - 2018 IEEE 38th …, 2018 - ieeexplore.ieee.org
By introducing programmability, automated verification, and innovative debugging tools,
Software-Defined Networks (SDNs) are poised to meet the increasingly stringent …

Self-stabilizing indulgent zero-degrading binary consensus

O Lundström, M Raynal, EM Schiller - Proceedings of the 22nd …, 2021 - dl.acm.org
Guerraoui proposed an indulgent solution for the binary consensus problem. Namely, he
showed that an arbitrary behavior of the failure detector never violates safety requirements …

Self-stabilizing Byzantine tolerant replicated state machine based on failure detectors

S Dolev, C Georgiou, I Marcoullis… - … Security Cryptography and …, 2018 - Springer
Abstract Byzantine Fault Tolerant (BFT) replication leverages highly available cloud services
and can facilitate the implementation of distributed ledgers, eg, the blockchain. Systems …

[HTML][HTML] Practically-self-stabilizing virtual synchrony

S Dolev, C Georgiou, I Marcoullis… - Journal of Computer and …, 2018 - Elsevier
The virtual synchrony abstraction was proven to be extremely useful for asynchronous, large-
scale, message-passing distributed systems. Self-stabilizing systems can automatically …

Self-stabilizing Byzantine-tolerant distributed replicated state machine

A Binun, T Coupaye, S Dolev, M Kassi-Lahlou… - Stabilization, Safety, and …, 2016 - Springer
Replicated state machine is a fundamental concept used for obtaining fault tolerant
distributed computation. Legacy distributed computational architectures (such as Hadoop or …

Self-stabilizing reconfiguration

S Dolev, C Georgiou, I Marcoullis… - Proceedings of the …, 2016 - dl.acm.org
We consider distributed systems that work in dynamic asynchronous environments, such as
a shared storage system [8]. A configuration, is a set of active processors (servers or …

Self-stabilizing Byzantine-and intrusion-tolerant consensus

R Duvignau, M Raynal, EM Schiller - arxiv preprint arxiv:2110.08592, 2021 - arxiv.org
One of the most celebrated problems of fault-tolerant distributed computing is the consensus
problem. It was shown to abstract a myriad of problems in which processes have to agree on …