Santhosh Prabhu

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 7

Top Topics

Automated Verification

Alternating Time Temporal Logic

Top Venues

Publications

Kuan-Yen Chou, Santhosh Prabhu, Giri Subramanian, Wenxuan Zhou, Aanand Nayyar, Brighten Godfrey, Matthew Caesar
Scaling Data Plane Verification with Intent-based Slicing. CoRR (2024)
Umar Farooq, Mubashir Anwar, Muhammad Haris Noor, Rashid Tahir, Santhosh Prabhu, Ali Kheradmand, Matthew Caesar, Fareed Zaffar
FORTIFY: Software Defined Data Plane Resilience. NFV-SDN (2022)
Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Brighten Godfrey, Matthew Caesar
Plankton: Scalable network configuration verification through model checking. NSDI (2020)
Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Philip Brighten Godfrey, Matthew Caesar
Plankton: Scalable network configuration verification through model checking. CoRR (2019)
Santhosh Prabhu, Gohar Irfan Chaudhry, Brighten Godfrey, Matthew Caesar
High-coverage testing of softwarized networks. SecSoN@SIGCOMM (2018)
Santhosh Prabhu, Mo Dong, Tong Meng, Philip Brighten Godfrey, Matthew Caesar
Let me rephrase that: Transparent optimization in SDNs. SOSR (2017)
Santhosh Prabhu, Ali Kheradmand, Brighten Godfrey, Matthew Caesar
Predicting Network Futures with Plankton. APNet (2017)
Shambwaditya Saha, Santhosh Prabhu, P. Madhusudan
NetGen: synthesizing data-plane configurations for network policies. SOSR (2015)