Topology-Agnostic Runtime Detection of OSPF Routing Attacks. - Nurit Devir; Orna Grumberg; Shaul Markovitch; Gabi Nakibly (CNS, 2019)