Abstract: The Border Gateway Protocol (BGP) enables the exchange of routing information between Autonomous Systems (ASes). The lack of routing verification makes it susceptible to routing anomalies ...