Sruthi Bandhakavi

According to our database, Sruthi Bandhakavi authored at least 10 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

Automated detection of injection vulnerabilities in web applications

Sruthi Bandhakavi

PhD thesis, 2011

Vetting browser extensions for security vulnerabilities with VEX.

Sruthi Bandhakavi, Nandit Tiku, Wyatt Pittman, Samuel T. King, P. Madhusudan, Marianne Winslett

Commun. ACM, 2011

2010

VEX: Vetting Browser Extensions for Security Vulnerabilities.

Sruthi Bandhakavi, Samuel T. King, P. Madhusudan, Marianne Winslett

Proceedings of the 19th USENIX Security Symposium, 2010

Towards Static Flow-Based Declassification for Legacy and Untrusted Programs.

Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

2009

Analyzing end-to-end network reachability.

Sruthi Bandhakavi, Sandeep N. Bhatt, Cat Okita, Prasad Rao

Proceedings of the Integrated Network Management, 2009

2008

A Trust Management Approach for Flexible Policy Management in Security-Typed Languages.

Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2007

Informal presentation: a trust management perspective on managing policy updates in security-typed languages.

Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett

Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, 2007

CANDID: preventing sql injection attacks using dynamic candidate evaluations.

Sruthi Bandhakavi, Prithvi Bisht, P. Madhusudan, V. N. Venkatakrishnan

Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

2006

Super-sticky and declassifiable release policies for flexible information dissemination control.

Sruthi Bandhakavi, Charles C. Zhang, Marianne Winslett

Proceedings of the 2006 ACM Workshop on Privacy in the Electronic Society, 2006

A logic for information flow in object-oriented programs.

Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006