Searching for authors named Anindya Banerjee – sorted by Relevance.
45 documents found, showing 1 through 10.
Next 10 →
-
General Terms Security, Languages, Verification.
- …Abstract Towards a Logical Account of Declassification Anindya Banerjee Kansas State University…
- Add To MetaCart
-
A logical account of secure declassification (extended abstract
- …A Logical Account of Secure Declassification (extended abstract) April 10, 2006 Anindya Banerjee…
- Cited by 2 (1 self) – Add To MetaCart
-
A modular, polyvariant, and type-based closure analysis
- …A Modular, Polyvariant, and Type-Based Closure Analysis ∗ Anindya Banerjee Xinotech Research † ab…
- Cited by 51 (1 self) – Add To MetaCart
-
Using access control for secure information flow in a Java-like language
- …Using Access Control for Secure Information Flow in a Java-like Language Anindya Banerjee…
- Cited by 41 (6 self) – Add To MetaCart
-
Expressive declassification policies and modular static enforcement
- …Expressive Declassification Policies and Modular Static Enforcement Anindya Banerjee Kansas State…
- Cited by 7 (1 self) – Add To MetaCart
-
Modular Control-Flow Analysis with Rank 2 Intersection Types
- …-Flow Analysis with Rank 2 Intersection Types Anindya Banerjee 1† and Thomas Jensen 2‡ 1 Department of Computing…
- Add To MetaCart
-
Storeless Semantics and Separation Logic
- … Schmidt (conversations with Anindya Banerjee) Computing and Information Sciences Department Kansas State…
- Add To MetaCart
-
A Logic for Information Flow Analysis with an Application to Forward Slicing of Simple Imperative Programs
- … Programs Abstract Torben Amtoft and Anindya Banerjee a,1,2 a Department of Computing and Information…
- Cited by 8 (3 self) – Add To MetaCart
-
Policies using Abstract Domain Completeness
- … Mastroeni Università di Verona, Verona, Italy e-mail:isabella.mastroeni@(email omitted); Anindya Banerjee Kansas…
- Add To MetaCart
-
Information Flow Analysis in Logical Form
- …Information Flow Analysis in Logical Form Torben Amtoft and Anindya Banerjee ⋆ Department…
- Cited by 15 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
