Follow
Anindya Banerjee
Title
Cited by
Cited by
Year
A core calculus of dependency
M Abadi, A Banerjee, N Heintze, JG Riecke
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
5331999
Secure Information Flow and Pointer Confinement in a Java-like Language.
A Banerjee, DA Naumann
CSFW 2, 253, 2002
2482002
Stack-based access control and secure information flow
A Banerjee, DA Naumann
Journal of functional programming 15 (2), 131-177, 2005
2042005
Merlin: Specification inference for explicit information flow problems
B Livshits, AV Nori, SK Rajamani, A Banerjee
ACM Sigplan Notices 44 (6), 75-86, 2009
1962009
A logic for information flow in object-oriented programs
T Amtoft, S Bandhakavi, A Banerjee
ACM SIGPLAN Notices 41 (1), 91-102, 2006
1912006
Automata-based confidentiality monitoring
G Le Guernic, A Banerjee, T Jensen, DA Schmidt
Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2007
1742007
Information flow analysis in logical form
T Amtoft, A Banerjee
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy …, 2004
1462004
Expressive declassification policies and modular static enforcement
A Banerjee, DA Naumann, S Rosenberg
2008 IEEE Symposium on Security and Privacy (sp 2008), 339-353, 2008
1452008
Regional logic for local reasoning about global invariants
A Banerjee, DA Naumann, S Rosenberg
European Conference on Object-Oriented Programming, 387-411, 2008
1442008
Representation independence, confinement and access control
A Banerjee, DA Naumann
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
1382002
Ownership confinement ensures representation independence for object-oriented programs
A Banerjee, DA Naumann
Journal of the ACM (JACM) 52 (6), 894-960, 2005
1282005
Mechanized verification of fine-grained concurrent programs
I Sergey, A Nanevski, A Banerjee
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
1242015
Verification of information flow and access control policies with dependent types
A Nanevski, A Banerjee, D Garg
2011 IEEE Symposium on Security and Privacy, 165-179, 2011
1202011
A new foundation for control dependence and slicing for modern program structures
VP Ranganath, T Amtoft, A Banerjee, J Hatcliff, MB Dwyer
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 27-es, 2007
1182007
A modular, polyvariant and type-based closure analysis
A Banerjee
ACM SIGPLAN Notices 32 (8), 1-10, 1997
891997
History-based access control and secure information flow
A Banerjee, DA Naumann
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices …, 2005
762005
Beyond stack inspection: A unified access-control and information-flow security model
M Pistoia, A Banerjee, DA Naumann
2007 IEEE Symposium on Security and Privacy (SP'07), 149-163, 2007
742007
A new foundation for control-dependence and slicing for modern program structures
VP Ranganath, T Amtoft, A Banerjee, MB Dwyer, J Hatcliff
European Symposium on Programming, 77-93, 2005
722005
Dependent type theory for verification of information flow and access control policies
A Nanevski, A Banerjee, D Garg
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (2), 6, 2013
662013
Using access control for secure information flow in a Java-like language
A Banerjee, DA Naumann
16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 155-169, 2003
662003
The system can't perform the operation now. Try again later.
Articles 1–20