Broadcast using certified propagation algorithm in presence of Byzantine faults

We explore the correctness of the Certified Propagation Algorithm (CPA) , , , in solving broadcast with locally bounded Byzantine faults. CPA allows the nodes to use only local information regarding the network topology. We provide a necessary and sufficient condition on the network topology for the correctness of CPA.