Linear-Time Verification of Firewalls. - Hrishikesh B. Acharya; Mohamed G. Gouda (ICNP, 2009)

Consistent Fixed Points and Negative Gain. - Hrishikesh B. Acharya; Ehab S. Elmallah; Mohamed G. Gouda (PDCAT, 2009)

Brief announcement: the theory of network tracing. - Hrishikesh B. Acharya; Mohamed G. Gouda (PODC, 2009)

Brief Announcement: Consistent Fixed Points and Negative Gain. - Hrishikesh B. Acharya; Ehab S. Elmallah; Mohamed G. Gouda (SSS, 2009)

A Theory of Network Tracing. - Hrishikesh B. Acharya; Mohamed G. Gouda (SSS, 2009)

The Weak Network Tracing Problem. - Hrishikesh B. Acharya; Mohamed G. Gouda (ICDCN, 2010)

Projection and Division: Linear-Space Verification of Firewalls. - Hrishikesh B. Acharya; Mohamed G. Gouda (ICDCS, 2010)

Firewall modules and modular firewalls. - Hrishikesh B. Acharya; Aditya Joshi; Mohamed G. Gouda (ICNP, 2010)

Brief Announcement: On the Hardness of Topology Inference. - Hrishikesh B. Acharya; Mohamed G. Gouda (SSS, 2010)

On the Power of Non-spoofing Adversaries. - Hrishikesh B. Acharya; Mohamed G. Gouda (DISC, 2010)

TPP: The Two-Way Password Protocol. - Taehwan Choi; Hrishikesh B. Acharya; Mohamed G. Gouda (ICCCN, 2011)

On the Hardness of Topology Inference. - Hrishikesh B. Acharya; Mohamed G. Gouda (ICDCN, 2011)

Firewall verification and redundancy checking are equivalent. - Hrishikesh B. Acharya; Mohamed G. Gouda (INFOCOM, 2011)

Brief announcement: RedRem: a parallel redundancy remover. - Hrishikesh B. Acharya; Mohamed G. Gouda (SPAA, 2011)

The K-Observer Problem in Computer Networks. - Hrishikesh B. Acharya; Taehwan Choi; Rida A. Bazzi; Mohamed G. Gouda (SSS, 2011)

Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks. - Hrishikesh B. Acharya; Anil Kumar Katti; Mohamed G. Gouda (SSS, 2011)

Is that you? Authentication in a network without identities. - Taehwan Choi; Hrishikesh B. Acharya; Mohamed G. Gouda (Int. J. Secur. Networks, 2011)

Nash equilibria in stabilizing systems. - Mohamed G. Gouda; Hrishikesh B. Acharya (Theor. Comput. Sci., 2011)

The best keying protocol for sensor networks. - Taehwan Choi; Hrishikesh B. Acharya; Mohamed G. Gouda (Pervasive Mob. Comput., 2013)

POPE and PaNeL : Fast lookup in routing tables. - Hrishikesh B. Acharya (INFOCOM Workshops, 2014)

On rule width and the unreasonable effectiveness of policy verification. - Hrishikesh B. Acharya (LCN, 2014)

Troubleshooting blackbox SDN control software with minimal causal sequences. - Colin Scott; Andreas Wundsam; Barath Raghavan; Aurojit Panda; Andrew Or; Jefferson Lai; Eugene Huang; Zhi Liu; Ahmed El-Hassany; Sam Whitlock; Hrishikesh B. Acharya; Kyriakos Zarifis; et al. (SIGCOMM, 2014)

Incremental Verification of Computing Policies. - Ehab S. Elmallah; Hrishikesh B. Acharya; Mohamed G. Gouda (SSS, 2014)

Cells in the Internet of Things. - Ayush Shah; Hrishikesh B. Acharya; Ambar Pal (CoRR, 2015)

Rules in Play: On the Complexity of Routing Tables and Firewalls. - Mohit Wadhwa; Ambar Pal; Ayush Shah; Paritosh Mittal; Hrishikesh B. Acharya (CoRR, 2015)

Rules in play: On the complexity of routing tables and firewalls. - Hrishikesh B. Acharya; Satyam Kumar 004; Mohit Wadhwa; Ayush Shah (ICNP, 2016)

Analysis of Computing Policies Using SAT Solvers (Short Paper). - Marijn J. H. Heule; Rezwana Reaz; Hrishikesh B. Acharya; Mohamed G. Gouda (SSS, 2016)

The Internet of Things: Perspectives on Security from RFID and WSN. - Ayush Shah; Ambar Pal; Hrishikesh B. Acharya (CoRR, 2016)

The Devil's in The Details: Placing Decoy Routers in the Internet. - Devashish Gosain; Anshika Agarwal; Sambuddho Chakravarty; Hrishikesh B. Acharya (ACSAC, 2017)

Few Throats to Choke: On the Current Structure of the Internet. - Hrishikesh B. Acharya; Sambuddho Chakravarty; Devashish Gosain (LCN, 2017)

Mending Wall: On the Implementation of Censorship in India. - Devashish Gosain; Anshika Agarwal; Sahil Shekhawat; Hrishikesh B. Acharya; Sambuddho Chakravarty (SecureComm, 2017)

The Devils in The Details: Placing Decoy Routers in the Internet. - Devashish Gosain; Anshika Agarwal; Sambuddho Chakravarty; Hrishikesh B. Acharya (CoRR, 2017)

Parallel Processing of Packets with a PRAM. - Hrishikesh B. Acharya (ICDCN, 2018)

The World from Kabul: Internet Censorship in Afghanistan. - Hrishikesh B. Acharya; Ashwin Ramesh; Abulfazl Jalaly (INFOCOM Workshops, 2019)

On Securing Healthcare with Software-Defined Networks. - Sahil Gupta; Hrishikesh B. Acharya; Minseok Kwon (INFOCOM Workshops, 2019)

Detecting BGP Route Anomalies with Deep Learning. - Kyle McGlynn; Hrishikesh B. Acharya; Minseok Kwon (INFOCOM Workshops, 2019)

Policy expressions and the bottom-up design of computing policies. - Rezwana Reaz; Hrishikesh B. Acharya; Ehab S. Elmallah; Jorge Arturo Cobb; Mohamed G. Gouda (Computing, 2019)

From Spanning Trees to Meshed Trees. - Hrishikesh B. Acharya; John F. Hamilton; Nirmala Shenoy (COMSNETS, 2020)

Demo Abstract: Loop Avoidance in Computer Networks Using a Meshed Tree Protocol. - Peter Willis 003; Nirmala Shenoy; Hrishikesh B. Acharya (INFOCOM Workshops, 2020)

Maginot Lines and Tourniquets: On the Defendability of National Cyberspace. - Devashish Gosain; Madhur Rawat; Piyush Kumar Sharma; Hrishikesh B. Acharya (LCN Symposium, 2020)

SiegeBreaker: An SDN Based Practical Decoy Routing System. - Piyush Kumar Sharma; Devashish Gosain; Himanshu Sagar; Chaitanya Kumar; Aneesh Dogra; Vinayak Naik; Hrishikesh B. Acharya; Sambuddho Chakravarty (Proc. Priv. Enhancing Technol., 2020)

Demo: Simple Deep Packet Inspection with P4. - Sahil Gupta; Devashish Gosain; Garegin Grigoryan; Minseok Kwon; Hrishikesh B. Acharya (ICNP, 2021)

Telemetron: Measuring Network Capacity Between Off-Path Remote Hosts. - Devashish Gosain; Aishwarya Jaiswal; Hrishikesh B. Acharya; Sambuddho Chakravarty (LCN, 2021)

POSTER: A Cyberspace Study of the Russia-Ukraine War. - Gursimran Singh; Hrishikesh B. Acharya (AsiaCCS, 2023)

Predictable Internet Clients and In-Switch Deep Packet Inspection. - Sahil Gupta; Devashish Gosain; Minseok Kwon; Hrishikesh B. Acharya (ICCCN, 2023)

DeeP4R: Deep Packet Inspection in P4 using Packet Recirculation. - Sahil Gupta; Devashish Gosain; Minseok Kwon; Hrishikesh B. Acharya (INFOCOM, 2023)

Programmable Data Planes for Network Security. - Gursimran Singh; Hrishikesh B. Acharya; Minseok Kwon (CoRR, 2025)