David A. Naumann 个人学术档案

引用次数

	总计	2019 年至今
引用	3482	532
h 指数	33	12
i10 指数	65	24

240

120

180

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 25 10 14 28 11 22 36 64 72 115 212 214 239 190 176 190 187 176 164 144 137 149 141 145 100 86 95 86 137 28

开放获取的出版物数量

查看全部

24 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Anindya BanerjeeProfessor, IMDEA Software Institute在 imdea.org 的电子邮件经过验证
Andrey ChudnovD. E. Shaw & Co, L.P.在 chudnov.com 的电子邮件经过验证
Gary T. LeavensProfessor, University of Central Florida在 cs.ucf.edu 的电子邮件经过验证
Ana CavalcantiUniversity of York在 cs.york.ac.uk 的电子邮件经过验证
Ramana NagasamudramStevens Institute of Technology在 stevens.edu 的电子邮件经过验证
Mohammad NikoueiStevens Institute of Technology在 stevens.edu 的电子邮件经过验证
Andrei SabelfeldChalmers University of Technology在 chalmers.se 的电子邮件经过验证
Tamara RezkINRIA在 inria.fr 的电子邮件经过验证
Susanne WetzelProfessor of Computer Science, Stevens Institute of Technology在 acm.org 的电子邮件经过验证
Mounir ASSAFStevens Institute of Technology在 stevens.edu 的电子邮件经过验证
Wolfram SchultePrincipal researcher, Microsoft Corporation在 microsoft.com 的电子邮件经过验证
Gilles BartheMPI-SP and IMDEA Software Institute在 mpi-sp.org 的电子邮件经过验证
Marco PistoiaHead of Global Technology Applied Research, Global Head of Quantum Computing, JPMorgan Chase & Co.在 jpmchase.com 的电子邮件经过验证
Andrew D GordonMicrosoft Research and University of Edinburgh在 microsoft.com 的电子邮件经过验证
Jan JürjensUniversität Koblenz-Landau, Germany在 jurjens.de 的电子邮件经过验证
François DupressoirSenior Lecturer in Cryptography, Department of Computer Science, University of Bristol在 bristol.ac.uk 的电子邮件经过验证
John HughesProfessor of Computer Science and Engineering, Chalmers University在 chalmers.se 的电子邮件经过验证
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg University在 chalmers.se 的电子邮件经过验证
Augusto Cesar Alves SampaioUFPE - Universidade Federal de Pernambuco在 cin.ufpe.br 的电子邮件经过验证
Frédéric TronelAssociate Professor, CentraleSupélec在 tronel.org 的电子邮件经过验证

关注

David A. Naumann

Professor of Computer Science, Stevens Institute of Technology

在 cs.stevens.edu 的电子邮件经过验证 - 首页

Software Verification Language Based Security Refinement Programming Languages


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Secure Information Flow and Pointer Confinement in a Java-like Language. A Banerjee, DA Naumann CSFW 2, 253, 2002	260	2002
Stack-based access control and secure information flow A Banerjee, DA Naumann Journal of functional programming 15 (2), 131-177, 2005	207	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	155	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	152	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	144	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	130	2005
Information flow monitor inlining A Chudnov, DA Naumann 2010 23rd IEEE Computer Security Foundations Symposium, 200-214, 2010	102	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	87	2006
From coupling relations to mated invariants for checking information flow DA Naumann Computer Security–ESORICS 2006: 11th European Symposium on Research in …, 2006	80	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
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
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	71	2004
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
A weakest precondition semantics for refinement of object-oriented programs A Cavalcanti, DA Naumann IEEE Transactions on Software Engineering 26 (8), 713-728, 2000	70	2000
Inlined information flow monitoring for JavaScript A Chudnov, DA Naumann Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015	68	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	67	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	66	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	65	2006
Behavioral subtyping, specification inheritance, and modular reasoning GT Leavens, DA Naumann ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (4), 1-88, 2015	62	2015

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用