5 papers:
- TACAS-2012-WangTGLS #analysis #formal method
- Reduction-Based Formal Analysis of BGP Instances (AW, CLT, AJTG, BTL, AS), pp. 283–298.
- ICALP-v2-2012-ChiesaBEP #complexity
- Computational Complexity of Traffic Hijacking under BGP and S-BGP (MC, GDB, TE, MP), pp. 476–487.
- SAC-2012-GreyRS #automation
- Automatic creation of VPN backup paths for improved resilience against BGP-attackers (MG, MR, GS), pp. 613–620.
- SAC-2012-ItaniGBKC
- BGP-inspired autonomic service routing for the cloud (WI, CG, RB, AIK, AC), pp. 406–411.
- KDD-2009-PrakashVAFF #internet #named
- BGP-lens: patterns and anomalies in internet routing updates (BAP, NV, DA, MF, CF), pp. 1315–1324.