L Tseng,
N Vaidya, V Bhandari - Information Processing Letters, 2015 - Elsevier
We explore the correctness of the Certified Propagation Algorithm (CPA)[6],[1],[8],[5] in
solving broadcast with locally bounded Byzantine faults. CPA allows the nodes to use only …