David A. Naumann

Citada per

	Totes	Des de 2020
Citacions	3599	538
Índex h	34	14
Índex i10	65	21

240

120

180

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 26 9 14 26 11 22 36 65 74 118 223 208 232 187 176 200 191 179 173 139 137 144 141 144 96 94 97 77 138 117 15

Accés públic

Mostra-ho tot

25 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Anindya BanerjeeProfessor, IMDEA Software InstituteCorreu electrònic verificat a imdea.org
Gary T. LeavensProfessor, University of Central FloridaCorreu electrònic verificat a cs.ucf.edu
Andrey ChudnovD. E. Shaw & Co, L.P.Correu electrònic verificat a chudnov.com
Ana CavalcantiUniversity of YorkCorreu electrònic verificat a cs.york.ac.uk
Ramana NagasamudramStevens Institute of TechnologyCorreu electrònic verificat a stevens.edu
Susanne WetzelProfessor of Computer Science, Stevens Institute of TechnologyCorreu electrònic verificat a acm.org
Tamara RezkINRIACorreu electrònic verificat a inria.fr
Mounir ASSAFStevens Institute of TechnologyCorreu electrònic verificat a stevens.edu
Wolfram SchultePrincipal researcher, Microsoft CorporationCorreu electrònic verificat a microsoft.com
Gilles BartheMPI-SP and IMDEA Software InstituteCorreu electrònic verificat a mpi-sp.org
Marco PistoiaHead of Global Technology Applied Research, Global Head of Quantum Computing, JPMorgan Chase & Co.Correu electrònic verificat a jpmchase.com
Andrew D GordonCogna and University of EdinburghCorreu electrònic verificat a cogna.co
Jan JürjensUniversität Koblenz-Landau, GermanyCorreu electrònic verificat a jurjens.de
François DupressoirAssociate Professor in Cryptography, Department of Computer Science, University of BristolCorreu electrònic verificat a bristol.ac.uk
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityCorreu electrònic verificat a chalmers.se
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityCorreu electrònic verificat a chalmers.se
Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoCorreu electrònic verificat a cin.ufpe.br
Frédéric TronelAssociate Professor, CentraleSupélecCorreu electrònic verificat a tronel.org
Julien SignolesUniversité Paris-Saclay, CEA, ListCorreu electrònic verificat a cea.fr
Eric TotelTelecom SudParisCorreu electrònic verificat a telecom-sudparis.eu

Segueix

David A. Naumann

Professor of Computer Science, Stevens Institute of Technology

Correu electrònic verificat a cs.stevens.edu - Pàgina d'inici

Software Verification Language Based Security Refinement Programming Languages


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
Secure Information Flow and Pointer Confinement in a Java-like Language. A Banerjee, DA Naumann CSFW 2, 253, 2002	262	2002
Stack-based access control and secure information flow A Banerjee, DA Naumann Journal of functional programming 15 (2), 131-177, 2005	216	2005
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	160	2008
Friends need a bit more: Maintaining invariants over shared state M Barnett, DA Naumann International Conference on Mathematics of Program Construction, 54-84, 2004	156	2004
Regional logic for local reasoning about global invariants A Banerjee, DA Naumann, S Rosenberg ECOOP 2008–Object-Oriented Programming: 22nd European Conference Paphos …, 2008	154	2008
Representation independence, confinement and access control A Banerjee, DA Naumann Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	142	2002
Ownership confinement ensures representation independence for object-oriented programs A Banerjee, DA Naumann Journal of the ACM (JACM) 52 (6), 894-960, 2005	132	2005
Information flow monitor inlining A Chudnov, DA Naumann 2010 23rd IEEE Computer Security Foundations Symposium, 200-214, 2010	101	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	85	2006
From coupling relations to mated invariants for checking information flow DA Naumann Computer Security–ESORICS 2006: 11th European Symposium on Research in …, 2006	83	2006
History-based access control and secure information flow A Banerjee, DA Naumann International workshop on construction and analysis of safe, secure, and …, 2004	78	2004
Inlined information flow monitoring for JavaScript A Chudnov, DA Naumann Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015	75	2015
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	75	2007
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	74	2004
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	71	1999
Behavioral subtyping, specification inheritance, and modular reasoning GT Leavens, DA Naumann ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (4), 1-88, 2015	67	2015
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
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	65	2014
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

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors