@inproceedings{676,
  author = {Alexander Marder and Jon Larrea and kc claffy and Erik Kline and Kyle Jamieson and Bradley Huffaker and Lincoln Thurlow and Matthew Luckie},
  title = {AVOID: Automatic Verification of Internet Data-Paths},
  year = {2024},
  journal = {MILCOM},
  publisher = {IEEE},
  address = {Washington, DC},
}