Concepedia

H. B. Acharya

HB

14

Publications

331

Citations

12

H-Index

2009

Active since

Affiliations

The University of Texas at Austin(Current)

U.S. National Science Foundation

Rochester Institute of Technology

Indraprastha Institute of Information Technology Delhi

Southeastern Wisconsin Information Technology Exchange Consortium

H. B. Acharya is an author at The University of Texas at Austin specializing in engineering, computer science, and data security.

Top concepts

EngineeringComputer ScienceData SecurityCryptographyFormal VerificationInformation SecurityFormal MethodsHardware SecurityVerificationNetwork Security

Publications per year

2009–2023

14

Publications

14

Troubleshooting blackbox SDN control software with minimal causal sequences

Colin Scott, Andreas Wundsam, Barath Raghavan et al. · 2014 · 97 citations · Full text

Engineering, Networked Control, Network Analysis +20

Troubleshooting blackbox SDN control software with minimal causal sequences

Colin Scott, Andreas Wundsam, Barath Raghavan et al. · ACM SIGCOMM Computer Communication Review · 2014 · 35 citations

Engineering, Networked Control, Network Analysis +20

Detecting BGP Route Anomalies with Deep Learning

Kyle McGlynn, H. B. Acharya, Minseok Kwon · 2019 · 26 citations

Projection and Division: Linear-Space Verification of Firewalls

H. B. Acharya, Mohamed G. Gouda · 2010 · 23 citations

Computational Complexity Theory, Engineering, Information Security +19

Firewall verification and redundancy checking are equivalent

H. B. Acharya, Mohamed G. Gouda · 2011 · 22 citations

Engineering, Information Security, Next-generation Firewall +18

Rows per page

1–5 of 14