Seagull: Privacy preserving network verification system

arXiv:2402.08956v1 Announce Type: new
Abstract: The current routing protocol used in the internet backbone is based on manual configuration, making it susceptible to errors. To mitigate these configuration-related issues, it becomes imperative to validate the accuracy and convergence of the algorithm, ensuring a seamless operation devoid of problems. However, the process of network verification faces challenges related to privacy and scalability. This paper addresses these challenges by introducing a novel approach: leveraging privacy-preserving computation, specifically multiparty computation (MPC), to verify …

accuracy algorithm arxiv configuration convergence cs.cr cs.ni current errors internet making network privacy privacy preserving problems process protocol routing system verification