Ongoing and Future Work


Protocol design work
intra-AS route propagation
policy/protocol restrictions to guarantee safety on fast timescales

Constraint specification is not easy (yet).
Idea: statistical beliefs of "correctness"

Verifying constraints across multiple ASes.

Towards intent-based configuration languages.
Figuring out how to express operator intent.
Operator should specify intended goals, not the mechanism.