9 papers
Expected Constant Time Self-stabilizing Byzantine Pulse Resynchronization
Shaolin Yu, Jihong Zhu, Jiali Yang +1
In extending fast digital clock synchronization to the bounded-delay model, the expected constant time Byzantine pulse resynchronization problem is investigated. In this problem, t…
Intro-Stabilizing Byzantine Clock Synchronization in Heterogeneous IoT Networks
Shaolin Yu, Jihong Zhu, Jiali Yang +1
For reaching dependable high-precision clock synchronization (CS) upon IoT networks, the distributed CS paradigm adopted in ultra-high reliable systems and the master-slave CS para…
Peaceable Self-Stabilizing Byzantine Pulse Synchronization
Shaolin Yu, Jihong Zhu, Jiali Yang
For reaching fast and efficient self-stabilizing Byzantine pulse synchronization (SSBPS) upon the bounded-delay message-passing networks, we consider the peaceable SSBPS problem wh…
A New Fault-Tolerant Synchronization Scheme with Anonymous Pulses
Shaolin Yu, Jihong Zhu, Jiali Yang +1
Robust pulse synchronization is fundamental in constructing reliable synchronous applications in wired and wireless distributed systems. In wired systems, self-stabilizing Byzantin…
Reaching Efficient Byzantine Agreements in Bipartite Networks
Shaolin Yu, Jihong Zhu, Jiali Yang +1
For reaching efficient deterministic synchronous Byzantine agreement upon partially connected networks, the traditional broadcast primitive is extended and integrated with a genera…
Efficient Two-Dimensional Self-Stabilizing Byzantine Clock Synchronization in WALDEN
Shaolin Yu, Jihong Zhu, Jiali Yang
For tolerating Byzantine faults of both the terminal and communication components in self-stabilizing clock synchronization, the two-dimensional self-stabilizing Byzantine-fault-to…
Boosting Byzantine Protocols in Large Sparse Networks with High System Assumption Coverage
Shaolin Yu, Jihong Zhu, Jiali Yang +1
To improve the overall efficiency and reliability of Byzantine protocols in large sparse networks, we propose a new system assumption for developing multi-scale fault-tolerant syst…
Simulating Authenticated Broadcast in Networks of Bounded Degree
Shaolin Yu, Jihong Zhu, Jiali Yang +1
The authenticated broadcast is simulated in the bounded-degree networks to provide efficient broadcast primitives for building efficient higher-layer Byzantine protocols. A general…
Self-Stabilizing Periodic Mutual-exclusive Propagation in Sparse Networks
Shaolin Yu, Jihong Zhu, Jiali Yang
Message propagation is fundamental in constructing distributed systems upon sparsely connected communication networks. For providing easy message propagation primitives, the mutual…