A Formal Treatment of Efficient Byzantine Routing Against Fully Byzantine Adversary. - Siddhant Goenka; Sisi Duan; Haibin Zhang (NCA, 2018)