Avik Chaudhuri
Avik Chaudhuri
Software Engineer, Facebook
Adresse e-mail validée de fb.com
Titre
Citée par
Citée par
Année
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
4212009
Language-based security on Android
A Chaudhuri
Proceedings of the ACM SIGPLAN fourth workshop on programming languages and …, 2009
1662009
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
982008
Symbolic security analysis of ruby-on-rails web applications
A Chaudhuri, JS Foster
Proceedings of the 17th ACM conference on Computer and communications …, 2010
792010
The ins and outs of gradual type inference
A Rastogi, A Chaudhuri, B Hosmer
ACM SIGPLAN Notices 47 (1), 481-494, 2012
762012
Scandroid: Automated security certification of android
AP Fuchs, A Chaudhuri, JS Foster
742009
Dynamic inference of static types for Ruby
J An, A Chaudhuri, JS Foster, M Hicks
ACM SIGPLAN Notices 46 (1), 459-472, 2011
552011
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
362017
Static typing for Ruby on Rails
J An, A Chaudhuri, JS Foster
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
352009
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
332008
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
262011
A concurrent ML library in concurrent Haskell
A Chaudhuri
ACM Sigplan Notices 44 (9), 269-280, 2009
222009
PCAL: Language support for proof-carrying authorization systems
A Chaudhuri, D Garg
European Symposium on Research in Computer Security, 184-199, 2009
172009
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
172008
SCanDroid: Automated security certification of Android applications
A Chaudhuri, A Fuchs, J Foster
University of Maryland, Tech. Rep. CS-TR-4991, 2009
142009
Secrecy by typing and file-access control
A Chaudhuri, M Abadi
19th IEEE Computer Security Foundations Workshop (CSFW'06), 12 pp.-123, 2006
132006
Formal security analysis of basic network-attached storage
A Chaudhuri, M Abadi
Proceedings of the 2005 ACM workshop on Formal methods in security …, 2005
102005
Flow: Abstract interpretation of javascript for type checking and beyond
A Chaudhuri
Proceedings of the 2016 acm workshop on programming languages and analysis …, 2016
92016
Optimizing and evaluating transient gradual typing
MM Vitousek, JG Siek, A Chaudhuri
Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic …, 2019
72019
On secure distributed implementations of dynamic access control
A Chaudhuri
arXiv preprint arXiv:0805.4665, 2008
62008
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20