David A. Naumann Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann, Anindya Banerjee: Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions. ESOP 2010: 2-22
2009
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Chong, David A. Naumann: Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009 ACM 2009
2008
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann, Stan Rosenberg: Regional Logic for Local Reasoning about Global Invariants. ECOOP 2008: 387-411
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann, Stan Rosenberg: Expressive Declassification Policies and Modular Static Enforcement. IEEE Symposium on Security and Privacy 2008: 339-353
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Michael Barnett, David A. Naumann: Boogie Meets Regions: A Verification Experience Report. VSTTE 2008: 177-191
2007
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistoia, Anindya Banerjee, David A. Naumann: Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model. IEEE Symposium on Security and Privacy 2007: 149-163
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve M. Shaner, Gary T. Leavens, David A. Naumann: Modular verification of higher-order methods with mandatory calls specified by model programs. OOPSLA 2007: 351-368
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann, Stan Rosenberg: Towards a logical account of declassification. PLAS 2007: 61-66
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: On assertion-based encapsulation for object invariants and simulations. Formal Asp. Comput. 19(2): 205-224 (2007)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Observational purity and encapsulation. Theor. Comput. Sci. 376(3): 205-224 (2007)
2006
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld: Closing Internal Timing Channels by Transformation. ASIAN 2006: 120-135
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: From Coupling Relations to Mated Invariants for Checking Information Flow. ESORICS 2006: 279-296
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun: Allowing State Changes in Specifications. ETRICS 2006: 321-336
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Tamara Rezk, David A. Naumann: Deriving an Information Flow Checker and Certifying Compiler for Java. IEEE Symposium on Security and Privacy 2006: 230-242
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann, Michael Barnett: Towards imperative modules: Reasoning about invariants and sharing of mutable state. Theor. Comput. Sci. 365(1-2): 143-168 (2006)
2005
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: Language-Based Security, 5.-10. October 2003 IBFI, Schloss Dagstuhl, Germany 2005
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: State Based Ownership, Reentrance, and Encapsulation. ECOOP 2005: 387-411
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Observational Purity and Encapsulation. FASE 2005: 190-204
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Verifying a Secure Information Flow Analyzer. TPHOLs 2005: 211-226
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Modular Reasoning in Object-Oriented Programming. VSTTE 2005: 105-115
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: Ownership confinement ensures representation independence for object-oriented programs. J. ACM 52(6): 894-960 (2005)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: Stack-based access control and secure information flow. J. Funct. Program. 15(2): 131-177 (2005)
2004
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: History-Based Access Control and Secure Information Flow. CASSIS 2004: 27-48
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Assertion-Based Encapsulation, Object Invariants and Simulations. FMCO 2004: 251-273
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann, Michael Barnett: Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State. LICS 2004: 313-323
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Barnett, David A. Naumann: Friends Need a Bit More: Maintaining Invariants Over Shared State. MPC 2004: 54-84
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQi Sun, Anindya Banerjee, David A. Naumann: Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language. SAS 2004: 84-99
2003
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: Using Access Control for Secure Information Flow in a Java-like Language. CSFW 2003: 155-169
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Abstracts Collection - Language Based Security. Language Based Security 2003
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld: 03411 Final Report - Language Based Security. Language Based Security 2003
2002
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: Secure Information Flow and Pointer Confinement in a Java-like Language. CSFW 2002: 253-
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna Cavalcanti, David A. Naumann: Forward Simulation for Data Refinement of Classes. FME 2002: 471-490
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: Representation independence, confinement and access control [extended abstract]. POPL 2002: 166-177
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, David A. Naumann: Ownership Confinement Ensures Representation Independence for Object-Oriented Programs CoRR cs.PL/0212003: (2002)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Soundness of data refinement for a higher-order imperative language. Theor. Comput. Sci. 278(1-2): 271-301 (2002)
2001
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Ideal Models for Pointwise Relational and State-Free Imperative Programming. PPDP 2001: 4-15
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Calculating sharp adaptation rules. Inf. Process. Lett. 77(2-4): 201-208 (2001)
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Predicate transformer semantics of a higher-order imperative language with record subtyping. Sci. Comput. Program. 41(1): 1-51 (2001)
2000
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna Cavalcanti, David A. Naumann: A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. IEEE Trans. Software Eng. 26(8): 713-728 (2000)
1999
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna Cavalcanti, David A. Naumann: A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. World Congress on Formal Methods 1999: 1439-1459
1998
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Beyond Fun: Order and Membership in Polytypic Imperative Programming. MPC 1998: 286-314
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Towards squiggly refinement algebra. PROCOMET 1998: 346-365
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: A Categorical Model for Higher Order Imperative Programming. Mathematical Structures in Computer Science 8(4): 351-399 (1998)
1995
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Data Refinement, Call by Value and Higher Order Programs. Formal Asp. Comput. 7(6): 651-662 (1995)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Predicate Transformers and Higher-Order Programs. Theor. Comput. Sci. 150(1): 111-159 (1995)
1994
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: Predicate Transformer Semantics of an Oberon-Like Language. PROCOMET 1994: 467-487
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: On the Essence of Oberon. Programming Languages and System Architectures 1994: 313-327
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard T. Denman, David A. Naumann, Walter Potter, Gary Richter: Derivation of programs for freshmen. SIGCSE 1994: 116-120
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Naumann: A Recursion Theorem for Predicate Transformers on Inductive Data Types. Inf. Process. Lett. 50(6): 329-336 (1994)
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymond T. Yeh, David A. Naumann, Roland Mittermeir, Reinhard A. Schlemmer, William S. Gilmore, George E. Sumrall, John T. Lebaron: A Commonsense Management Model. IEEE Software 8(6): 23-33 (1991)

Coauthor Index

1Anindya Banerjee [17] [18] [20] [21] [22] [23] [24] [28] [29] [30] [34] [35] [43] [45] [46] [47] [48] [50]
2Michael Barnett [25] [26] [36] [38] [46]
3Gilles Barthe [37]
4Ana Cavalcanti [11] [12] [19]
5Stephen Chong [49]
6Richard T. Denman [3]
7William S. Gilmore [1]
8John Hughes [40]
9Gary T. Leavens [44]
10John T. Lebaron [1]
11Heiko Mantel [21] [22] [35]
12Roland Mittermeir (Roland T. Mittermeir) [1]
13Marco Pistoia [45]
14Walter Potter [3]
15Tamara Rezk [37]
16Gary Richter [3]
17Stan Rosenberg [43] [47] [48]
18Alejandro Russo [40]
19Andrei Sabelfeld [21] [22] [35] [40]
20Reinhard A. Schlemmer [1]
21Wolfram Schulte [38]
22Steve M. Shaner [44]
23George E. Sumrall [1]
24Qi Sun [24] [38]
25Raymond T. Yeh [1]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)