Towards a logical account of declassification. - Anindya Banerjee 001; David A. Naumann; Stan Rosenberg (PLAS, 2007)

Regional Logic for Local Reasoning about Global Invariants. - Anindya Banerjee 001; David A. Naumann; Stan Rosenberg (ECOOP, 2008)

Expressive Declassification Policies and Modular Static Enforcement. - Anindya Banerjee 001; David A. Naumann; Stan Rosenberg (SP, 2008)

Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients. - Stan Rosenberg; Anindya Banerjee 001; David A. Naumann (VSTTE, 2010)

Decision Procedures for Region Logic. - Stan Rosenberg; Anindya Banerjee 001; David A. Naumann (VMCAI, 2012)

Local Reasoning for Global Invariants, Part I: Region Logic. - Anindya Banerjee 001; David A. Naumann; Stan Rosenberg (J. ACM, 2013)