Hrishikesh B. Acharya

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 16

Top Topics

Causal Knowledge

Control Software

Top Venues

INFOCOM Workshops

Publications

Sahil Gupta, Devashish Gosain, Minseok Kwon, Hrishikesh B. Acharya
DeeP4R: Deep Packet Inspection in P4 using Packet Recirculation. INFOCOM (2023)
Sahil Gupta, Devashish Gosain, Minseok Kwon, Hrishikesh B. Acharya
Predictable Internet Clients and In-Switch Deep Packet Inspection. ICCCN (2023)
Peter Willis, Nirmala Shenoy, Hrishikesh B. Acharya
Demo Abstract: Loop Avoidance in Computer Networks Using a Meshed Tree Protocol. INFOCOM Workshops (2020)
Hrishikesh B. Acharya, John F. Hamilton, Nirmala Shenoy
From Spanning Trees to Meshed Trees. COMSNETS (2020)
Rezwana Reaz, Hrishikesh B. Acharya, Ehab S. Elmallah, Jorge Arturo Cobb, Mohamed G. Gouda
Policy expressions and the bottom-up design of computing policies. Computing 101 (9) (2019)
Hrishikesh B. Acharya
Parallel Processing of Packets with a PRAM. ICDCN (2018)
Hrishikesh B. Acharya, Sambuddho Chakravarty, Devashish Gosain
Few Throats to Choke: On the Current Structure of the Internet. CoRR (2018)
Devashish Gosain, Anshika Agarwal, Sahil Shekhawat, Hrishikesh B. Acharya, Sambuddho Chakravarty
Mending Wall: On the Implementation of Censorship in India. CoRR (2018)
Devashish Gosain, Anshika Agarwal, Sambuddho Chakravarty, Hrishikesh B. Acharya
The Devil's in The Details: Placing Decoy Routers in the Internet. ACSAC (2017)
Devashish Gosain, Anshika Agarwal, Sahil Shekhawat, Hrishikesh B. Acharya, Sambuddho Chakravarty
Mending Wall: On the Implementation of Censorship in India. SecureComm (2017)
Hrishikesh B. Acharya, Sambuddho Chakravarty, Devashish Gosain
Few Throats to Choke: On the Current Structure of the Internet. LCN (2017)
Devashish Gosain, Anshika Agarwal, Sambuddho Chakravarty, Hrishikesh B. Acharya
The Devils in The Details: Placing Decoy Routers in the Internet. CoRR (2017)
Rezwana Reaz, Hrishikesh B. Acharya, Ehab S. Elmallah, Jorge Arturo Cobb, Mohamed G. Gouda
Policy Expressions and the Bottom-Up Design of Computing Policies. NETYS (2017)
Marijn J. H. Heule, Rezwana Reaz, Hrishikesh B. Acharya, Mohamed G. Gouda
Analysis of Computing Policies Using SAT Solvers (Short Paper). SSS (2016)
Ayush Shah, Ambar Pal, Hrishikesh B. Acharya
The Internet of Things: Perspectives on Security from RFID and WSN. CoRR (2016)
Hrishikesh B. Acharya, Satyam Kumar, Mohit Wadhwa, Ayush Shah
Rules in play: On the complexity of routing tables and firewalls. ICNP (2016)
Mohit Wadhwa, Ambar Pal, Ayush Shah, Paritosh Mittal, Hrishikesh B. Acharya
Rules in Play: On the Complexity of Routing Tables and Firewalls. CoRR (2015)
Ayush Shah, Hrishikesh B. Acharya, Ambar Pal
Cells in the Internet of Things. CoRR (2015)
Ehab S. Elmallah, Hrishikesh B. Acharya, Mohamed G. Gouda
Incremental Verification of Computing Policies. SSS (2014)
Hrishikesh B. Acharya
On rule width and the unreasonable effectiveness of policy verification. LCN (2014)
Hrishikesh B. Acharya
POPE and PaNeL : Fast lookup in routing tables. INFOCOM Workshops (2014)
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, Scott Shenker
Troubleshooting blackbox SDN control software with minimal causal sequences. SIGCOMM (2014)
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
The best keying protocol for sensor networks. Pervasive Mob. Comput. 9 (4) (2013)
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
TPP: The Two-Way Password Protocol. ICCCN (2011)
Hrishikesh B. Acharya, Mohamed G. Gouda
On the Hardness of Topology Inference. ICDCN (2011)
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
The best keying protocol for sensor networks. WOWMOM (2011)
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
Is That You? Authentication in a Network without Identities. GLOBECOM (2011)
Hrishikesh B. Acharya, Mohamed G. Gouda
Firewall verification and redundancy checking are equivalent. INFOCOM (2011)
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
Is that you? Authentication in a network without identities. Int. J. Secur. Networks 6 (4) (2011)
Hrishikesh B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda
The K-Observer Problem in Computer Networks. SSS (2011)
Mohamed G. Gouda, Hrishikesh B. Acharya
Nash equilibria in stabilizing systems. Theor. Comput. Sci. 412 (33) (2011)
Hrishikesh B. Acharya, Mohamed G. Gouda
Brief announcement: RedRem: a parallel redundancy remover. SPAA (2011)
Hrishikesh B. Acharya, Anil Kumar Katti, Mohamed G. Gouda
Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks. SSS (2011)
Hrishikesh B. Acharya, Mohamed G. Gouda
On the Power of Non-spoofing Adversaries. DISC (2010)
Hrishikesh B. Acharya, Mohamed G. Gouda
Brief Announcement: On the Hardness of Topology Inference. SSS (2010)
Hrishikesh B. Acharya, Mohamed G. Gouda
The Weak Network Tracing Problem. ICDCN (2010)
Hrishikesh B. Acharya, Aditya Joshi, Mohamed G. Gouda
Firewall modules and modular firewalls. ICNP (2010)
Hrishikesh B. Acharya, Mohamed G. Gouda
Projection and Division: Linear-Space Verification of Firewalls. ICDCS (2010)
Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda
Brief Announcement: Consistent Fixed Points and Negative Gain. SSS (2009)
Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda
Consistent Fixed Points and Negative Gain. PDCAT (2009)
Hrishikesh B. Acharya, Mohamed G. Gouda
Brief announcement: the theory of network tracing. PODC (2009)
Mohamed G. Gouda, Hrishikesh B. Acharya
Nash Equilibria in Stabilizing Systems. SSS (2009)
Hrishikesh B. Acharya, Mohamed G. Gouda
A Theory of Network Tracing. SSS (2009)
Hrishikesh B. Acharya, Mohamed G. Gouda
Linear-Time Verification of Firewalls. ICNP (2009)