CrossCheck: Input Validation for WAN Control Systems. - Alexander Krentsel; Rishabh Iyer 002; Isaac Keslassy; Bharath Modhipalli; Sylvia Ratnasamy; Anees Shaikh; Rob Shakir (NSDI, 2026)