Avik Chaudhuri
Avik Chaudhuri
Software Engineer, Facebook
Verified email at fb.com
Cited by
Cited by
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
Language-based security on Android
A Chaudhuri
Proceedings of the ACM SIGPLAN fourth workshop on programming languages and …, 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
Symbolic security analysis of ruby-on-rails web applications
A Chaudhuri, JS Foster
Proceedings of the 17th ACM conference on Computer and communications …, 2010
The ins and outs of gradual type inference
A Rastogi, A Chaudhuri, B Hosmer
ACM SIGPLAN Notices 47 (1), 481-494, 2012
Scandroid: Automated security certification of android
AP Fuchs, A Chaudhuri, JS Foster
Dynamic inference of static types for Ruby
J An, A Chaudhuri, JS Foster, M Hicks
ACM SIGPLAN Notices 46 (1), 459-472, 2011
Static typing for Ruby on Rails
J An, A Chaudhuri, JS Foster
2009 IEEE/ACM International Conference on Automated Software Engineering …, 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
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
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
PCAL: Language support for proof-carrying authorization systems
A Chaudhuri, D Garg
European Symposium on Research in Computer Security, 184-199, 2009
A type system for data-flow integrity on Windows Vista
A Chaudhuri, P Naldurg, S Rajamani
ACM Sigplan Notices 43 (12), 9-20, 2009
A concurrent ML library in concurrent Haskell
A Chaudhuri
ACM Sigplan Notices 44 (9), 269-280, 2009
Secrecy by typing and file-access control
A Chaudhuri, M Abadi
19th IEEE Computer Security Foundations Workshop (CSFW'06), 12 pp.-123, 2006
SCanDroid: Automated security certification of Android applications
A Chaudhuri, A Fuchs, J Foster
University of Maryland, Tech. Rep. CS-TR-4991, 2009
Formal security analysis of basic network-attached storage
A Chaudhuri, M Abadi
Proceedings of the 2005 ACM workshop on Formal methods in security …, 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
Formal analysis of dynamic, distributed file-system access controls
A Chaudhuri, M Abadi
International Conference on Formal Techniques for Networked and Distributed …, 2006
Dynamic access control in a concurrent object calculus
A Chaudhuri
International Conference on Concurrency Theory, 263-278, 2006
The system can't perform the operation now. Try again later.
Articles 1–20