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 | 230 | 2011 |
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 | 218 | 2007 |
A logic for information flow in object-oriented programs T Amtoft, S Bandhakavi, A Banerjee ACM SIGPLAN Notices 41 (1), 91-102, 2006 | 198 | 2006 |
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 | 38 | 2006 |
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 | 27 | 2008 |
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 | 23 | 2010 |
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 | 13 | 2009 |
End-to-end network access analysis S Bandhakavi, S Bhatt, C Okita, P Rao HP Laboratories Technical Report HPL-2008-28R1. HP Labs, 2008 | 7 | 2008 |
A logic for information flow analysis of pointer programs T Amtoft, S Bandhakavi, A Banerjee Proc. POPL 6, 2005 | 7 | 2005 |
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 | 2 | 2010 |
Automated detection of injection vulnerabilities in web applications S Bandhakavi University of Illinois at Urbana-Champaign, 2011 | 1 | 2011 |
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 | | |