Anindya Banerjee Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann, Anindya Banerjee: Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions. ESOP 2010: 2-22
2009
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAvraham Shinnar, Marco Pistoia, Anindya Banerjee: A language for information flow: dynamic tracking in multiple interdependent dimensions. PLAS 2009: 125-131
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee: Merlin: specification inference for explicit information flow problems. PLDI 2009: 75-86
2008
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann, Stan Rosenberg: Regional Logic for Local Reasoning about Global Invariants. ECOOP 2008: 387-411
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann, Stan Rosenberg: Expressive Declassification Policies and Modular Static Enforcement. IEEE Symposium on Security and Privacy 2008: 339-353
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Michael Barnett, David A. Naumann: Boogie Meets Regions: A Verification Experience Report. VSTTE 2008: 177-191
2007
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorben Amtoft, Anindya Banerjee: Verification condition generation for conditional information flow. FMSE 2007: 2-11
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann, Stan Rosenberg: Towards a logical account of declassification. PLAS 2007: 61-66
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh 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)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya 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)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorben 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)
2006
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt: Automata-Based Confidentiality Monitoring. ASIAN 2006: 75-89
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorben Amtoft, Sruthi Bandhakavi, Anindya Banerjee: A logic for information flow in object-oriented programs. POPL 2006: 91-102
2005
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: Language-Based Security, 5.-10. October 2003 IBFI, Schloss Dagstuhl, Germany 2005
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: State Based Ownership, Reentrance, and Encapsulation. ECOOP 2005: 387-411
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: Ownership confinement ensures representation independence for object-oriented programs. J. ACM 52(6): 894-960 (2005)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: Stack-based access control and secure information flow. J. Funct. Program. 15(2): 131-177 (2005)
2004
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: History-Based Access Control and Secure Information Flow. CASSIS 2004: 27-48
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorben Amtoft, Anindya Banerjee: Information Flow Analysis in Logical Form. SAS 2004: 100-115
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQi Sun, Anindya Banerjee, David A. Naumann: Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language. SAS 2004: 84-99
2003
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: Using Access Control for Secure Information Flow in a Java-like Language. CSFW 2003: 155-169
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Abstracts Collection - Language Based Security. Language Based Security 2003
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Final Report - Language Based Security. Language Based Security 2003
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Thomas P. Jensen: Modular Control-Flow Analysis with Rank 2 Intersection Types. Mathematical Structures in Computer Science 13(1): 87-124 (2003)
2002
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: Secure Information Flow and Pointer Confinement in a Java-like Language. CSFW 2002: 253-
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: Representation independence, confinement and access control [extended abstract]. POPL 2002: 166-177
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: Ownership Confinement Ensures Representation Independence for Object-Oriented Programs CoRR cs.PL/0212003: (2002)
2001
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Nevin Heintze, Jon G. Riecke: Design and Correctness of Program Transformations Based on Control-Flow Analysis. TACS 2001: 420-447
1999
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Nevin Heintze, Jon G. Riecke: Region Analysis and the Polymorphic Lambda Calculus. LICS 1999: 88-97
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke: A Core Calculus of Dependency. POPL 1999: 147-160
1998
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Schmidt: Stackability in the Simply-Typed Call-by-Value lambda Calculus. Sci. Comput. Program. 31(1): 47-73 (1998)
1997
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee: A Modular, Polyvariant, and Type-Based Closure Analysis. ICFP 1997: 1-10
1994
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Schmidt: Stackability in the Simply-Typed Call-by-Value Lambda Calculus. SAS 1994: 131-146
1993
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Schmidt: A Categorical Interpretation of Landin's Correspondence Principle. MFPS 1993: 587-602

Coauthor Index

1Martín Abadi [5]
2Elvira Albert [33]
3Torben Amtoft (Torben Amtoft Hansen) [16] [20] [23] [25] [27] [30]
4Sruthi Bandhakavi [23]
5Michael Barnett [31]
6Sophia Drossopoulou [33]
7Matthew B. Dwyer [20] [27]
8Roberto Giacobazzi [26]
9Gurvan Le Guernic [24]
10John Hatcliff [20] [27]
11Nevin Heintze [5] [6] [7]
12Marieke Huisman [33]
13Atsushi Igarashi [33]
14Thomas P. Jensen [11] [24]
15Gary T. Leavens [33]
16V. Benjamin Livshits [35]
17Heiko Mantel [12] [13] [22]
18Isabella Mastroeni [26]
19Peter Müller [33]
20David A. Naumann [8] [9] [10] [12] [13] [14] [15] [17] [18] [19] [21] [22] [28] [29] [31] [32] [34] [37]
21Aditya V. Nori [35]
22Marco Pistoia [29] [36]
23Sriram K. Rajamani [35]
24Venkatesh Prasad Ranganath [20] [27]
25Jon G. Riecke [5] [6] [7]
26Stan Rosenberg [28] [32] [34]
27Andrei Sabelfeld [12] [13] [22]
28David A. Schmidt [1] [2] [4] [24]
29Avraham Shinnar [36]
30Qi Sun [15]
31Tobias Wrigstad [33]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)