Search results for "Anindya Banerjee"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Mark Marron, Ondrej Lhoták, Anindya Banerjee	Programming Paradigm Driven Heap Analysis.	CC	2012	DBLP DOI BibTeX RDF
1	Stan Rosenberg, Anindya Banerjee, David A. Naumann	Decision Procedures for Region Logic.	VMCAI	2012	DBLP DOI BibTeX RDF
1	Alexander Malkis, Anindya Banerjee	Verification of software barriers.	PPOPP	2012	DBLP DOI BibTeX RDF
1	Isabella Mastroeni, Anindya Banerjee	Modelling declassification policies using abstract domain completeness.	Mathematical Structures in Computer Science	2011	DBLP DOI BibTeX RDF
1	Aleksandar Nanevski, Anindya Banerjee, Deepak Garg	Verification of Information Flow and Access Control Policies with Dependent Types.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	Access Control, Information Flow, Type Theory
1	Stan Rosenberg, Anindya Banerjee, David A. Naumann	Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients.	VSTTE	2010	DBLP DOI BibTeX RDF
1	David A. Naumann, Anindya Banerjee	Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions.	ESOP	2010	DBLP DOI BibTeX RDF
1	Avraham Shinnar, Marco Pistoia, Anindya Banerjee	A language for information flow: dynamic tracking in multiple interdependent dimensions.	PLAS	2009	DBLP DOI BibTeX RDF	information flow control, declassification, security type system
1	V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee	Merlin: specification inference for explicit information flow problems.	PLDI	2009	DBLP DOI BibTeX RDF	security analysis tools, specification inference
1	Anindya Banerjee	Semantics and Enforcement of Expressive Information Flow Policies.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
1	Anindya Banerjee, David A. Naumann, Stan Rosenberg	Expressive Declassification Policies and Modular Static Enforcement.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	verification, information flow, declassification, downgrading
1	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	DBLP DOI BibTeX RDF
1	Anindya Banerjee, Michael Barnett, David A. Naumann	Boogie Meets Regions: A Verification Experience Report.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Anindya Banerjee, David A. Naumann, Stan Rosenberg	Regional Logic for Local Reasoning about Global Invariants.	ECOOP	2008	DBLP DOI BibTeX RDF
1	Torben Amtoft, Anindya Banerjee	A logic for information flow analysis with an application to forward slicing of simple imperative programs.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
1	Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni	What You Lose is What You Leak: Information Leakage in Declassification Policies.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	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.	2007	DBLP DOI BibTeX RDF	Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence
1	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	DBLP DOI BibTeX RDF
1	Anindya Banerjee, David A. Naumann, Stan Rosenberg	Towards a logical account of declassification.	PLAS	2007	DBLP DOI BibTeX RDF	information flow, confidentiality, aliasing
1	Torben Amtoft, Anindya Banerjee	Verification condition generation for conditional information flow.	FMSE	2007	DBLP DOI BibTeX RDF	conditional information flow analysis, object invariants, verification condition generation
1	Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee	A logic for information flow in object-oriented programs.	POPL	2006	DBLP DOI BibTeX RDF	information flow, confidentiality, aliasing
1	Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt	Automata-Based Confidentiality Monitoring.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Anindya Banerjee, David A. Naumann	Ownership confinement ensures representation independence for object-oriented programs.	J. ACM	2005	DBLP DOI BibTeX RDF	Alias control, simulation, data refinement, confinement, relational parametricity
1	Anindya Banerjee, David A. Naumann	Stack-based access control and secure information flow.	J. Funct. Program.	2005	DBLP DOI BibTeX RDF
1	Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld (eds.)	Language-Based Security, 5.-10. October 2003	Language-Based Security	2005	DBLP BibTeX RDF
1	Anindya Banerjee, David A. Naumann	State Based Ownership, Reentrance, and Encapsulation.	ECOOP	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Anindya Banerjee, David A. Naumann	History-Based Access Control and Secure Information Flow.	CASSIS	2004	DBLP DOI BibTeX RDF
1	Qi Sun, Anindya Banerjee, David A. Naumann	Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language.	SAS	2004	DBLP DOI BibTeX RDF
1	Torben Amtoft, Anindya Banerjee	Information Flow Analysis in Logical Form.	SAS	2004	DBLP DOI BibTeX RDF
1	Anindya Banerjee, Thomas P. Jensen	Modular Control-Flow Analysis with Rank 2 Intersection Types.	Mathematical Structures in Computer Science	2003	DBLP DOI BibTeX RDF
1	Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld	03411 Abstracts Collection - Language Based Security.	Language Based Security	2003	DBLP BibTeX RDF
1	Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld	03411 Final Report - Language Based Security.	Language Based Security	2003	DBLP BibTeX RDF
1	Anindya Banerjee, David A. Naumann	Using Access Control for Secure Information Flow in a Java-like Language.	CSFW	2003	DBLP DOI BibTeX RDF
1	Anindya Banerjee, David A. Naumann	Ownership Confinement Ensures Representation Independence for Object-Oriented Programs	CoRR	2002	DBLP BibTeX RDF
1	Anindya Banerjee, David A. Naumann	Representation independence, confinement and access control [extended abstract].	POPL	2002	DBLP DOI BibTeX RDF
1	Anindya Banerjee, David A. Naumann	Secure Information Flow and Pointer Confinement in a Java-like Language.	CSFW	2002	DBLP DOI BibTeX RDF
1	Anindya Banerjee, Nevin Heintze, Jon G. Riecke	Design and Correctness of Program Transformations Based on Control-Flow Analysis.	TACS	2001	DBLP DOI BibTeX RDF
1	Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke	A Core Calculus of Dependency.	POPL	1999	DBLP DOI BibTeX RDF
1	Anindya Banerjee, Nevin Heintze, Jon G. Riecke	Region Analysis and the Polymorphic Lambda Calculus.	LICS	1999	DBLP DOI BibTeX RDF	semantics, program analysis, garbage collection, memory management, polymorphism
1	Anindya Banerjee, David A. Schmidt	Stackability in the Simply-Typed Call-by-Value lambda Calculus.	Sci. Comput. Program.	1998	DBLP DOI BibTeX RDF
1	Anindya Banerjee	A Modular, Polyvariant, and Type-Based Closure Analysis.	ICFP	1997	DBLP DOI BibTeX RDF
1	Anindya Banerjee, David A. Schmidt	Stackability in the Simply-Typed Call-by-Value Lambda Calculus.	SAS	1994	DBLP DOI BibTeX RDF
1	Anindya Banerjee, David A. Schmidt	A Categorical Interpretation of Landin's Correspondence Principle.	MFPS	1993	DBLP DOI BibTeX RDF

Publications of "Anindya Banerjee" ( http://dblp.L3S.de/Authors/Anindya_Banerjee )