Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Anindya Banerjee
Other persons with the same name
2010 – today
- 2013
[j11]Anindya Banerjee, David A. Naumann, Stan Rosenberg: Local Reasoning for Global Invariants, Part I: Region Logic. J. ACM 60(3): 18 (2013)- [j10]Anindya Banerjee, David A. Naumann: Local Reasoning for Global Invariants, Part II: Dynamic Boundaries. J. ACM 60(3): 19 (2013)
- [j9]Aleksandar Nanevski, Anindya Banerjee, Deepak Garg: Dependent Type Theory for Verification of Information Flow and Access Control Policies. ACM Trans. Program. Lang. Syst. 35(2): 6 (2013)
- [c37]Shachar Itzhaky, Anindya Banerjee, Neil Immerman, Aleksandar Nanevski, Mooly Sagiv: Effectively-Propositional Reasoning about Reachability in Linked Data Structures. CAV 2013: 756-772
- [c36]Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski: Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures. PPDP 2013: 145-156
- [p1]Anindya Banerjee, David A. Naumann: State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings. Aliasing in Object-Oriented Programming 2013: 319-365
- [i3]Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff: Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday. CoRR abs/1309.4557 (2013)
- [i2]Anindya Banerjee, David A. Naumann: A Simple Semantics and Static Analysis for Stack Inspection. CoRR abs/1309.5144 (2013)
- 2012
- [c35]Mark Marron, Ondrej Lhoták, Anindya Banerjee: Programming Paradigm Driven Heap Analysis. CC 2012: 41-60
- [c34]
- [c33]Stan Rosenberg, Anindya Banerjee, David A. Naumann: Decision Procedures for Region Logic. VMCAI 2012: 379-395
- 2011
- [j8]Isabella Mastroeni, Anindya Banerjee: Modelling declassification policies using abstract domain completeness. Mathematical Structures in Computer Science 21(6): 1253-1299 (2011)
- [c32]Anindya Banerjee: Modular Verification of Object-Based Programs - Abstract of Invited Talk. FoVeOOS 2011: 1-2
- [c31]Aleksandar Nanevski, Anindya Banerjee, Deepak Garg: Verification of Information Flow and Access Control Policies with Dependent Types. IEEE Symposium on Security and Privacy 2011: 165-179
- 2010
- [c30]David A. Naumann, Anindya Banerjee: Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions. ESOP 2010: 2-22
- [c29]Stan Rosenberg, Anindya Banerjee, David A. Naumann: Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients. VSTTE 2010: 183-198
2000 – 2009
- 2009
- [c28]Anindya Banerjee: Semantics and Enforcement of Expressive Information Flow Policies. Formal Aspects in Security and Trust 2009: 1-3
- [c27]V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee: Merlin: specification inference for explicit information flow problems. PLDI 2009: 75-86
- [c26]Avraham Shinnar, Marco Pistoia, Anindya Banerjee: A language for information flow: dynamic tracking in multiple interdependent dimensions. PLAS 2009: 125-131
- 2008
- [c25]Anindya Banerjee, David A. Naumann, Stan Rosenberg: Regional Logic for Local Reasoning about Global Invariants. ECOOP 2008: 387-411
- [c24]Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad: Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76
- [c23]Anindya Banerjee, David A. Naumann, Stan Rosenberg: Expressive Declassification Policies and Modular Static Enforcement. IEEE Symposium on Security and Privacy 2008: 339-353
- [c22]Anindya Banerjee, Michael Barnett, David A. Naumann: Boogie Meets Regions: A Verification Experience Report. VSTTE 2008: 177-191
- 2007
- [j7]Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni: What You Lose is What You Leak: Information Leakage in Declassification Policies. Electr. Notes Theor. Comput. Sci. 173: 47-66 (2007)
- [j6]Torben Amtoft, Anindya Banerjee: A logic for information flow analysis with an application to forward slicing of simple imperative programs. Sci. Comput. Program. 64(1): 3-28 (2007)
- [j5]Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer: A new foundation for control dependence and slicing for modern program structures. ACM Trans. Program. Lang. Syst. 29(5) (2007)
- [c21]Torben Amtoft, Anindya Banerjee: Verification condition generation for conditional information flow. FMSE 2007: 2-11
- [c20]Anindya Banerjee, David A. Naumann, Stan Rosenberg: Towards a logical account of declassification. PLAS 2007: 61-66
- [c19]Marco Pistoia, Anindya Banerjee, David A. Naumann: Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model. IEEE Symposium on Security and Privacy 2007: 149-163
- 2006
- [c18]Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt: Automata-Based Confidentiality Monitoring. ASIAN 2006: 75-89
- [c17]Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee: A logic for information flow in object-oriented programs. POPL 2006: 91-102
- 2005
- [j4]Anindya Banerjee, David A. Naumann: Ownership confinement ensures representation independence for object-oriented programs. J. ACM 52(6): 894-960 (2005)
- [j3]Anindya Banerjee, David A. Naumann: Stack-based access control and secure information flow. J. Funct. Program. 15(2): 131-177 (2005)
- [c16]Anindya Banerjee, David A. Naumann: State Based Ownership, Reentrance, and Encapsulation. ECOOP 2005: 387-411
- [c15]Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff: A New Foundation for Control-Dependence and Slicing for Modern Program Structures. ESOP 2005: 77-93
- [e1]Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld (Eds.): Language-Based Security, 5.-10. October 2003. Dagstuhl Seminar Proceedings 03411, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
- 2004
- [c14]Anindya Banerjee, David A. Naumann: History-Based Access Control and Secure Information Flow. CASSIS 2004: 27-48
- [c13]Qi Sun, Anindya Banerjee, David A. Naumann: Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language. SAS 2004: 84-99
- [c12]
- 2003
- [j2]Anindya Banerjee, Thomas P. Jensen: Modular Control-Flow Analysis with Rank 2 Intersection Types. Mathematical Structures in Computer Science 13(1): 87-124 (2003)
- [c11]Anindya Banerjee, David A. Naumann: Using Access Control for Secure Information Flow in a Java-like Language. CSFW 2003: 155-169
- [c10]Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Final Report - Language Based Security. Language Based Security 2003
- [c9]Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Abstracts Collection - Language Based Security. Language Based Security 2003
- 2002
- [c8]Anindya Banerjee, David A. Naumann: Secure Information Flow and Pointer Confinement in a Java-like Language. CSFW 2002: 253-
- [c7]Anindya Banerjee, David A. Naumann: Representation independence, confinement and access control [extended abstract]. POPL 2002: 166-177
- [i1]Anindya Banerjee, David A. Naumann: Ownership Confinement Ensures Representation Independence for Object-Oriented Programs. CoRR cs.PL/0212003 (2002)
- 2001
- [c6]Anindya Banerjee, Nevin Heintze, Jon G. Riecke: Design and Correctness of Program Transformations Based on Control-Flow Analysis. TACS 2001: 420-447
1990 – 1999
- 1999
- [c5]Anindya Banerjee, Nevin Heintze, Jon G. Riecke: Region Analysis and the Polymorphic Lambda Calculus. LICS 1999: 88-97
- [c4]Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke: A Core Calculus of Dependency. POPL 1999: 147-160
- 1998
- [j1]Anindya Banerjee, David A. Schmidt: Stackability in the Simply-Typed Call-by-Value lambda Calculus. Sci. Comput. Program. 31(1): 47-73 (1998)
- 1997
- [c3]
- 1994
- [c2]Anindya Banerjee, David A. Schmidt: Stackability in the Simply-Typed Call-by-Value Lambda Calculus. SAS 1994: 131-146
- 1993
- [c1]Anindya Banerjee, David A. Schmidt: A Categorical Interpretation of Landin's Correspondence Principle. MFPS 1993: 587-602
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17 21:25 CEST by the dblp team