Marder, Alexander, Jon Larrea, kc claffy, Erik Kline, Kyle Jamieson, Bradley Huffaker, Lincoln Thurlow, and Matthew Luckie. 2024. “AVOID: Automatic Verification of Internet Data-Paths”. In MILCOM. Washington, DC: IEEE.
kc claffy
First name
kc
Last name
claffy