David A. Naumann

Cited by

	All	Since 2018
Citations	3292	536
h-index	33	13
i10-index	60	21

240

120

180

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 24 10 14 26 11 22 33 61 66 102 191 213 237 202 177 199 176 185 155 142 139 143 143 142 113 83 100 84 13

Public access

View all

16 articles

1 article

available

not available

Based on funding mandates

Co-authors

Anindya BanerjeeProfessor, IMDEA Software InstituteVerified email at imdea.org
Andrey ChudnovD. E. Shaw & Co, L.P.Verified email at chudnov.com
Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Andrei SabelfeldChalmers University of TechnologyVerified email at chalmers.se
Tamara RezkINRIAVerified email at inria.fr
Susanne WetzelProfessor of Computer Science, Stevens Institute of TechnologyVerified email at acm.org
Mounir ASSAFStevens Institute of TechnologyVerified email at stevens.edu
Wolfram SchultePrincipal researcher, Microsoft CorporationVerified email at microsoft.com
Marco PistoiaHead of Global Technology Applied Research, Head of Quantum Computing, JPMorgan Chase & Co.Verified email at jpmchase.com
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Jan JürjensUniversität Koblenz-Landau, GermanyVerified email at jurjens.de
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityVerified email at chalmers.se
François DupressoirSenior Lecturer in Cryptography, Department of Computer Science, University of BristolVerified email at bristol.ac.uk
Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoVerified email at cin.ufpe.br
Frédéric TronelAssociate Professor, CentraleSupélecVerified email at tronel.org
Julien SignolesCEA-List, Université Paris-SaclayVerified email at cea.fr
Eric TotelTelecom SudParisVerified email at telecom-sudparis.eu
Ravi JainMetaVerified email at fb.com

David A. Naumann

Professor of Computer Science, Stevens Institute of Technology

Verified email at cs.stevens.edu - Homepage

Software Verification Language Based Security Refinement Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Secure Information Flow and Pointer Confinement in a Java-like Language. A Banerjee, DA Naumann CSFW 2, 253, 2002	248	2002
Stack-based access control and secure information flow A Banerjee, DA Naumann Journal of functional programming 15 (2), 131-177, 2005	204	2005
Friends need a bit more: Maintaining invariants over shared state M Barnett, DA Naumann Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004	151	2004
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	145	2008
Regional logic for local reasoning about global invariants A Banerjee, DA Naumann, S Rosenberg ECOOP 2008–Object-Oriented Programming: 22nd European Conference Paphos …, 2008	144	2008
Representation independence, confinement and access control A Banerjee, DA Naumann Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	138	2002
Ownership confinement ensures representation independence for object-oriented programs A Banerjee, DA Naumann Journal of the ACM (JACM) 52 (6), 894-960, 2005	128	2005
Information flow monitor inlining A Chudnov, DA Naumann 2010 23rd IEEE Computer Security Foundations Symposium, 200-214, 2010	96	2010
Deriving an information flow checker and certifying compiler for java G Barthe, D Naumann, T Rezk 2006 IEEE Symposium on Security and Privacy (S&P'06), 13 pp.-242, 2006	84	2006
From coupling relations to mated invariants for checking information flow DA Naumann ESORICS 6, 279-296, 2006	76	2006
History-based access control and secure information flow A Banerjee, DA Naumann Construction and Analysis of Safe, Secure, and Interoperable Smart Devices …, 2005	76	2005
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	74	2007
A weakest precondition semantics for refinement of object-oriented programs A Cavalcanti, DA Naumann IEEE Transactions on Software Engineering 26 (8), 713-728, 2000	71	2000
A weakest precondition semantics for an object-oriented language of refinement A Cavalcanti, DA Naumann FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999	70	1999
A weakest precondition semantics for an object-oriented language of refinement A Cavalcanti, DA Naumann FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999	70	1999
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	66	2003
Towards imperative modules: Reasoning about invariants and sharing of mutable state DA Naumann, M Barnett Theoretical Computer Science 365 (1-2), 143-168, 2006	64	2006
99.44% pure: Useful abstractions in specifications M Barnett, DA Naumann, W Schulte, Q Sun ECOOP workshop on formal techniques for Java-like programs (FTfJP), 2004	64	2004
Guiding a general-purpose C verifier to prove cryptographic protocols F Dupressoir, AD Gordon, J Jürjens, DA Naumann Journal of Computer Security 22 (5), 823-866, 2014	60	2014
Closing internal timing channels by transformation A Russo, J Hughes, D Naumann, A Sabelfeld Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2007	60	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors