Follow
Sruthi Bandhakavi
Sruthi Bandhakavi
Verified email at google.com
Title
Cited by
Cited by
Year
Vetting browser extensions for security vulnerabilities with vex
S Bandhakavi, N Tiku, W Pittman, ST King, P Madhusudan, M Winslett
Communications of the ACM 54 (9), 91-99, 2011
2312011
CANDID: preventing SQL injection attacks using dynamic candidate evaluations
S Bandhakavi, P Bisht, P Madhusudan, VN Venkatakrishnan
Proceedings of the 14th ACM conference on Computer and communications …, 2007
2122007
A logic for information flow in object-oriented programs
T Amtoft, S Bandhakavi, A Banerjee
ACM SIGPLAN Notices 41 (1), 91-102, 2006
1962006
Super-sticky and declassifiable release policies for flexible information dissemination control
S Bandhakavi, CC Zhang, M Winslett
Proceedings of the 5th ACM Workshop on Privacy in Electronic Society, 51-58, 2006
382006
A trust management approach for flexible policy management in security-typed languages
S Bandhakavi, W Winsborough, M Winslett
2008 21st IEEE Computer Security Foundations Symposium, 33-47, 2008
242008
Towards static flow-based declassification for legacy and untrusted programs
BPS Rocha, S Bandhakavi, J den Hartog, WH Winsborough, S Etalle
2010 IEEE Symposium on Security and Privacy, 93-108, 2010
232010
Analyzing end-to-end network reachability
S Bandhakavi, S Bhatt, C Okita, P Rao
2009 IFIP/IEEE International Symposium on Integrated Network Management, 585-590, 2009
112009
End-to-end network access analysis
S Bandhakavi, S Bhatt, C Okita, P Rao
HP Laboratories Technical Report HPL-2008-28R1. HP Labs, 2008
72008
A logic for information flow analysis of pointer programs
T Amtoft, S Bandhakavi, A Banerjee
Proc. POPL 6, 2005
72005
CANDID: Preventing SQL Injection Attacks using Dynamic Candidate Evaluations, 2007
S Bandhakavi, P Bisht, P Madhusudan
USA, ACM, 0
5
SIFEX: tool for static analysis of browser extensions for security vulnerabilities
S Agarwal, S Bandhakavi, M Winslett
Poster at annual computer security applications conference, 2010
22010
Automated detection of injection vulnerabilities in web applications
S Bandhakavi
University of Illinois at Urbana-Champaign, 2011
12011
Towards static flow-based declassification for legacy and untrusted programs
B Pontes Soares Rocha, S Bandhakavi, JI den Hartog, WH Winsborough, ...
IEEE Computer Society, 2010
2010
Static Flow-based Declassification for Legacy and Untrusted Programs
BPS Rocha, S Bandhakavi, J den Hartog, WH Winsborough, S Etalle
2010
Informal presentation: a trust management perspective on managing policy updates in security-typed languages
S Bandhakavi, W Winsborough, M Winslett
Proceedings of the 2007 workshop on Programming languages and analysis for …, 2007
2007
Modular Reasoning about Information Flow in Object-oriented Programs
S Bandhakavi
Kansas State University, 2005
2005
Fine Grained Access Control using Information Flow Analysis
S Bandhakavi
The system can't perform the operation now. Try again later.
Articles 1–17