Concepedia

Anindya Banerjee

AB

Statistics

Publications

37

Citations

2.2K

H-Index

23

Active since

1989

Affiliations

Kansas State University(Current)

Stevens Institute of Technology

IMDEA Software Institute

Madrid Institute for Advanced Studies

Microsoft (United States)

Anindya Banerjee is an author at Kansas State University specializing in computing, computer science, and programming languages.

Publications per year

1989–2021

37

Publications

37

A core calculus of dependency

Martı́n Abadi, Anindya Banerjee, Nevin Heintze et al. · 1999 · 415 citations

Computing, Computer Science, Programming Languages +15

Secure information flow and pointer con .nement in a java-like language

Anindya Banerjee, David A. Naumann · 2005 · 149 citations

Computing, Computer Science, Computer Security +13

Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani et al. · 2009 · 144 citations

Computing, Information Technology, Network Administration +16

Stack-based access control and secure information flow

Anindya Banerjee, David A. Naumann · Journal of Functional Programming · 2005 · 141 citations · Full text

Computing, Computer Science, Access Management +16

A logic for information flow in object-oriented programs

Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee · 2006 · 130 citations

Computing, Computer Science, Formal Methods +15

1–5 of 37