- A Categorical Interpretation of Landin's Correspondence Principle
- Institute of Technology Ownership Confinement Ensures Representation
- State Based Encapsulation and Generics Anindya Banerjee David A. Naumann
- A New Foundation For Control-Dependence and Slicing for Modern Program Structures
- A Core Calculus of Dependency Martn Abadi
- A Modular, Polyvariant, and TypeBased Closure Analysis \Lambda Anindya Banerjee
- Secure Information Flow and Pointer Confinement in a Java-like Language Anindya Banerjee
- Merlin: Specification Inference for Explicit Information Flow Problems
- Design and Correctness of Program Transformations Based on ControlFlow Analysis
- Expressive Declassification Policies and Modular Static Enforcement Anindya Banerjee
- Using Access Control for Secure Information Flow in a Java-like Language Anindya Banerjee
- Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model
- Stackability in the SimplyTyped CallByValue Lambda Calculus \Lambda
- Under consideration for publication in Math. Struct. in Comp. Science Modular Control-Flow Analysis with Rank 2
- Ownership: transfer, sharing, and encapsulation Anindya Banerjee and David A. Naumann
- A Logic for Information Flow Analysis with an Application to Forward Slicing of
- Stackability in the SimplyTyped CallByValue Lambda Calculus \Lambda
- Information Flow Analysis in Logical Form Torben Amtoft and Anindya Banerjee
- A Logic for Information Flow in Object-Oriented Programs Torben Amtoft Sruthi Bandhakavi Anindya Banerjee
- A Simple Semantics and Static Analysis for Java Security
- Verification Condition Generation for Conditional Information Flow
- A Language for Information Flow: Dynamic Tracking in Multiple Interdependent Dimensions
- A Static Analysis for Instance-based Con nement in Java [Extended version, 30 Nov 01]
- RC24541 (W0804-103) April 28, 2008 Computer Science
- ALogicforInformationFlow inObject-orientedPrograms
- Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
- Verification of Information Flow and Access Control Policies with Dependent Types
- Verification of Information Flow and Access Control Policies
- Local Reasoning and Dynamic Framing for the Composite Pattern and its Clients
- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions
- Boogie Meets Regions: A Verification Experience Report Anindya Banerjee1, , Mike Barnett2, and David A. Naumann3,
- Regional Logic for Local Reasoning About Global Invariants
- Verification Condition Generation for Conditional Information Flow
- What you lose is what you leak: Information leakage in declassification policies
- A Logic for Information Flow in Object-Oriented Programs Torben Amtoft
- JFP 15 (2): 131177, 2005. c 2005 Cambridge University Press DOI: 10.1017/S0956796804005453 Printed in the United Kingdom
- Stack-based Access Control for Secure Information Flow
- State Based Ownership, Reentrance, and Encapsulation Anindya Banerjee1, and David A. Naumann2,
- A New Foundation For Control-Dependence and Slicing for Modern Program Structures
- History-based Access Control and Secure Information Flow
- Information Flow Analysis in Logical Form Torben Amtoft and Anindya Banerjee
- Modular and Constraint-based Information Flow Inference for an Object-oriented Language
- Ownership transfer and abstraction KSU CIS TR 2004-1
- Using Access Control for Secure Information Flow
- Representation Independence, Confinement and Access Control [extended abstract and appendices]
- A Static Analysis for Instance-based Confinement in Java
- Decision Procedures for Region Logic Stan Rosenberg1, Anindya Banerjee2, and David A. Naumann1
- Representation Independence, State Based Ownership, and Reentrancy
- Modular Enforcement of Information Flow Policies in Data Structures
