A Formal Treatment of Efficient Byzantine Routing Against Fully Byzantine Adversary

Siddhant Goenka,Sisi Duan,Haibin Zhang
DOI: https://doi.org/10.1109/nca.2018.8548163
2018-01-01
Abstract:We describe efficient path-based Byzantine routing protocols that are secure against fully Byzantine adversaries. Our work is in sharp contrast to prior works which handle a weaker subset of Byzantine attacks. We provide a formal proof of correctness of our protocols which, to our knowledge, is the first of its kind. We implement and evaluate our protocols using DeterLab, demonstrating that our protocols are as efficient as those secure against weaker adversaries and our protocols can efficiently and correctly detect routers that fail arbitrarily.
What problem does this paper attempt to address?