@techreport{swscb-cuflsr-16,
  author = {Johann Schlamp and Matthias W{\"a}hlisch and Thomas C. Schmidt and Georg Carle and Ernst W. Biersack},
  title = {{CAIR: Using Formal Languages to Study Routing, Leaking, and Interception in BGP}},
  type = {Technical Report},
  institution = {Open Archive: arXiv.org},
  year = {2016},
  month = {May},
  number = {arXiv:1605.00618},
  url = {http://arxiv.org/abs/1605.00618},
  theme = {nsec|imeasurement},
}