AVOID: Automatic Verification of Internet Data-Paths

Author

Alexander Marder, Jon Larrea, kc claffy, Erik Kline, Kyle Jamieson, Bradley Huffaker, Lincoln Thurlow, Matthew Luckie

Publication Year

2024

Type

Conference Paper

Publication Status

Forthcoming

Conference Name

MILCOM

Publisher

IEEE

Conference Location

Washington, DC