| Scandroid: Automated security certification of android applications AP Fuchs, A Chaudhuri, JS Foster Manuscript, Univ. of Maryland, http://www. cs. umd. edu/avik/projects …, 2009 | 426 | 2009 |
| Language-based security on Android A Chaudhuri Proceedings of the ACM SIGPLAN fourth workshop on programming languages and …, 2009 | 166 | 2009 |
| Automated formal analysis of a protocol for secure file sharing on untrusted storage B Blanchet, A Chaudhuri 2008 IEEE Symposium on Security and Privacy (sp 2008), 417-431, 2008 | 103 | 2008 |
| Symbolic security analysis of ruby-on-rails web applications A Chaudhuri, JS Foster Proceedings of the 17th ACM conference on Computer and communications …, 2010 | 86 | 2010 |
| The ins and outs of gradual type inference A Rastogi, A Chaudhuri, B Hosmer ACM SIGPLAN Notices 47 (1), 481-494, 2012 | 80 | 2012 |
| Scandroid: Automated security certification of android AP Fuchs, A Chaudhuri, JS Foster | 78 | 2009 |
| Dynamic inference of static types for Ruby J An, A Chaudhuri, JS Foster, M Hicks ACM SIGPLAN Notices 46 (1), 459-472, 2011 | 56 | 2011 |
| Fast and precise type checking for JavaScript A Chaudhuri, P Vekris, S Goldman, M Roch, G Levi Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-30, 2017 | 46 | 2017 |
| Static typing for Ruby on Rails J An, A Chaudhuri, JS Foster 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009 | 36 | 2009 |
| EON: Modeling and analyzing dynamic access control systems with logic programs A Chaudhuri, P Naldurg, SK Rajamani, G Ramalingam, L Velaga Proceedings of the 15th ACM conference on Computer and communications …, 2008 | 34 | 2008 |
| The impact of optional type information on JIT compilation of dynamically typed languages M Chang, B Mathiske, E Smith, A Chaudhuri, A Gal, M Bebenita, ... ACM SIGPLAN Notices 47 (2), 13-24, 2011 | 27 | 2011 |
| A concurrent ML library in concurrent Haskell A Chaudhuri ACM Sigplan Notices 44 (9), 269-280, 2009 | 24 | 2009 |
| PCAL: Language support for proof-carrying authorization systems A Chaudhuri, D Garg European Symposium on Research in Computer Security, 184-199, 2009 | 18 | 2009 |
| A type system for data-flow integrity on Windows Vista A Chaudhuri, P Naldurg, S Rajamani Proceedings of the third ACM SIGPLAN workshop on Programming languages and …, 2008 | 17 | 2008 |
| SCanDroid: Automated security certification of Android applications A Chaudhuri, A Fuchs, J Foster University of Maryland, Tech. Rep. CS-TR-4991, 2009 | 16 | 2009 |
| Secrecy by typing and file-access control A Chaudhuri, M Abadi 19th IEEE Computer Security Foundations Workshop (CSFW'06), 12 pp.-123, 2006 | 13 | 2006 |
| Optimizing and evaluating transient gradual typing MM Vitousek, JG Siek, A Chaudhuri Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic …, 2019 | 12 | 2019 |
| Formal security analysis of basic network-attached storage A Chaudhuri, M Abadi Proceedings of the 2005 ACM workshop on Formal methods in security …, 2005 | 10 | 2005 |
| Flow: Abstract interpretation of javascript for type checking and beyond A Chaudhuri Proceedings of the 2016 acm workshop on programming languages and analysis …, 2016 | 9 | 2016 |
| On secure distributed implementations of dynamic access control A Chaudhuri arXiv preprint arXiv:0805.4665, 2008 | 6 | 2008 |
Jeffrey S. FosterComputer Science, Tufts UniversityVerified email at cs.tufts.edu
