A Formal Treatment of Efficient Byzantine Routing Against Fully Byzantine Adversary | IEEE Conference Publication | IEEE Xplore