dblp.uni-trier.dewww.uni-trier.de

Anindya Banerjee Vis

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)