Santhosh Prabhu

According to our database, Santhosh Prabhu authored at least 8 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scaling Data Plane Verification with Intent-based Slicing.

Kuan-Yen Chou, Santhosh Prabhu, Giri Subramanian, Wenxuan Zhou, Aanand Nayyar, Brighten Godfrey, Matthew Caesar

CoRR, 2024

2022

FORTIFY: Software Defined Data Plane Resilience.

Umar Farooq, Mubashir Anwar, Muhammad Haris Noor, Rashid Tahir, Santhosh Prabhu, Ali Kheradmand, Matthew Caesar, Fareed Zaffar

Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2022

2020

Practical verification of network planes

Santhosh Prabhu

PhD thesis, 2020

Plankton: Scalable network configuration verification through model checking.

Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Brighten Godfrey, Matthew Caesar

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

2018

High-coverage testing of softwarized networks.

Santhosh Prabhu, Gohar Irfan Chaudhry, Brighten Godfrey, Matthew Caesar

Proceedings of the 2018 Workshop on Security in Softwarized Networks: Prospects and Challenges, 2018

2017

Let me rephrase that: Transparent optimization in SDNs.

Santhosh Prabhu, Mo Dong, Tong Meng, Philip Brighten Godfrey, Matthew Caesar

Proceedings of the Symposium on SDN Research, 2017

Predicting Network Futures with Plankton.

Santhosh Prabhu, Ali Kheradmand, Brighten Godfrey, Matthew Caesar

Proceedings of the First Asia-Pacific Workshop on Networking, 2017

2015

NetGen: synthesizing data-plane configurations for network policies.

Shambwaditya Saha, Santhosh Prabhu, P. Madhusudan

Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015