Formal security analysis of basic network-attached storage. - Avik Chaudhuri; Martín Abadi (FMSE, 2005)

Dynamic Access Control in a Concurrent Object Calculus. - Avik Chaudhuri (CONCUR, 2006)

Secrecy by Typing and File-Access Control. - Avik Chaudhuri; Martín Abadi (CSFW, 2006)

Formal Analysis of Dynamic, Distributed File-System Access Controls. - Avik Chaudhuri; Martín Abadi (FORTE, 2006)

EON: modeling and analyzing dynamic access control systems with logic programs. - Avik Chaudhuri; Prasad Naldurg; Sriram K. Rajamani; G. Ramalingam; Lakshmisubrahmanyam Velaga (CCS, 2008)

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage. - Bruno Blanchet; Avik Chaudhuri (SP, 2008)

On Secure Distributed Implementations of Dynamic Access Control. - Avik Chaudhuri (CoRR, 2008)

Event Synchronization by Lightweight Message Passing - Avik Chaudhuri (CoRR, 2008)

A type system for data-flow integrity on Windows Vista. - Avik Chaudhuri; Prasad Naldurg; Sriram K. Rajamani (ACM SIGPLAN Notices, 2008)

PCAL: Language Support for Proof-Carrying Authorization Systems. - Avik Chaudhuri; Deepak Garg 001 (ESORICS, 2009)

A concurrent ML library in concurrent Haskell. - Avik Chaudhuri (ICFP, 2009)

Static Typing for Ruby on Rails. - Jong-hoon (David) An; Avik Chaudhuri; Jeffrey S. Foster (ASE, 2009)

Language-based security on Android. - Avik Chaudhuri (PLAS, 2009)

Symbolic security analysis of ruby-on-rails web applications. - Avik Chaudhuri; Jeffrey S. Foster (CCS, 2010)

Liberalizing Dependency - Avik Chaudhuri (CoRR, 2010)

The impact of optional type information on jit compilation of dynamically typed languages. - Mason Chang; Bernd Mathiske; Edwin W. Smith; Avik Chaudhuri; Andreas Gal; Michael Bebenita; Christian Wimmer; Michael Franz (DLS, 2011)

Dynamic inference of static types for ruby. - Jong-hoon (David) An; Avik Chaudhuri; Jeffrey S. Foster; Michael Hicks 001 (POPL, 2011)

Types and Access Controls for Cross-Domain Security in Flash. - Aseem Rastogi; Avik Chaudhuri; Rob Johnson 001 (APLAS, 2012)

The ins and outs of gradual type inference. - Aseem Rastogi; Avik Chaudhuri; Basil Hosmer (POPL, 2012)

Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond. - Avik Chaudhuri (PLAS@CCS, 2016)

Fast and precise type checking for JavaScript. - Avik Chaudhuri; Panagiotis Vekris; Sam Goldman; Marshall Roch; Gabriel Levi (Proc. ACM Program. Lang., 2017)

Optimizing and evaluating transient gradual typing. - Michael M. Vitousek; Jeremy G. Siek; Avik Chaudhuri (DLS, 2019)