Concepedia
Statistics
Publications
42
Citations
1.5K
H-Index
22
Active since
1986
Affiliations
Stevens Institute of Technology(Current)
Kansas State University
Microsoft (United States)
Southwestern University
David A. Naumann is an author at Stevens Institute of Technology specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningVerificationData SecuritySystem Software
Publications per year
1986–2023
Secure information flow and pointer con .nement in a java-like language
Anindya Banerjee, David A. Naumann · 2005 · 149 citations
Engineering, Information Security, Private Fields +23
Stack-based access control and secure information flow
Anindya Banerjee, David A. Naumann · Journal of Functional Programming · 2005 · 141 citations · Full text
Engineering, Information Security, Software Analysis +20
Expressive Declassification Policies and Modular Static Enforcement
Anindya Banerjee, David A. Naumann, Stan Rosenberg · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 2008 · 102 citations
Program Checking, Engineering, Verification +19
Ownership confinement ensures representation independence for object-oriented programs
Anindya Banerjee, David A. Naumann · Journal of the ACM · 2005 · 98 citations
Engineering, Language Constructs, Software Engineering +18
Representation independence, confinement and access control [extended abstract]
Anindya Banerjee, David A. Naumann · 2002 · 81 citations
Engineering, Information Security, Semantics +23
1–5 of 42