3 citations · 5 across the 5 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2024★ 1 cited
BCM-Broadcast: A Byzantine-Tolerant Causal Broadcast Algorithm for Distributed Mobile Systems
Leila NamvariTazehkand, Saied Pashazadeh, Ali Ebnenasir
This paper presents an algorithm, called BCM-Broadcast, for the implementation of causal broadcast in distributed mobile systems in the presence of Byzantine failures. The BCM-Broa…
cs.DC2019
Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties
Ali Ebnenasir
This paper investigates the verification and synthesis of parameterized protocols that satisfy leadsto properties on symmetric unidirectional rings (a.k.a. uni-rings…