@misc{indiciae87b73de58139,
  title = {CAIR: Using Formal Languages to Study Routing, Leaking, and Interception in BGP},
  author = {Johann Schlamp and Matthias Wählisch and Thomas C. Schmidt and Georg Carle and Ernst W. Biersack},
  year = {2016},
  url = {https://arxiv.org/abs/1605.00618},
  note = {Source identifier: 1605.00618}
}