Concepedia

Sruthi Bandhakavi

SB

10

Publications

627

Citations

10

H-Index

2004

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

The University of Texas at San Antonio

Kansas State University

Sruthi Bandhakavi is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationData SecuritySoftware AnalysisInformation SecurityVerificationFormal MethodsProgram AnalysisData Privacy

Publications per year

2004–2011

10

Publications

10

CANDID

Sruthi Bandhakavi, Prithvi Bisht, P. Madhusudan et al. · 2007 · 149 citations

Powerful Scheme, Engineering, Information Security +6

A logic for information flow in object-oriented programs

Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee · 2006 · 130 citations

Engineering, Object-oriented Modeling, Verification +20

VEX: vetting browser extensions for security vulnerabilities

Sruthi Bandhakavi, Samuel T. King, P. Madhusudan et al. · 2010 · 119 citations

Vetting browser extensions for security vulnerabilities with VEX

Sruthi Bandhakavi, Nandit Tiku, Wyatt Pittman et al. · Communications of the ACM · 2011 · 87 citations

Engineering, Information Security, Software Engineering +16

Faucets: efficient resource allocation on the computational grid

Laxmikant V. Kalé, Sameer Kumar, M. Potnuru et al. · Proceedings of the International Conference on Parallel Processing · 2004 · 39 citations

Cluster Computing, Engineering, Computer Architecture +18

Rows per page

1–5 of 10