AegisPath: Privacy-Preserving Interdomain Data-Plane Verification with Versioned Verifiable Evidence
Network verification checks whether forwarding behavior satisfies intended invariants. In interdomain settings, data-plane verification is challenging because forwarding configurations are private, while post-incident review requires repeatable, version-specific checking without costly online coordination. We present A...