Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "David A. Naumann" ( http://dblp.L3S.de/Authors/David_A._Naumann )

URL (Homepage):  http://www.cs.stevens.edu/~naumann/  Author page on DBLP  Author page in RDF  Community of David A. Naumann in ASPL-2

Publication years (Num. hits)
1991-2001 (15) 2002-2005 (20) 2006-2009 (15) 2010-2012 (5)
Publication types (Num. hits)
article(16) inproceedings(37) proceedings(2)
Venues (Conferences, Journals, ...)
Theor. Comput. Sci.(4) IEEE Symposium on Security and...(3) VSTTE(3) CSF(2) CSFW(2) ECOOP(2) Formal Asp. Comput.(2) Inf. Process. Lett.(2) Language Based Security(2) MPC(2) PLAS(2) PROCOMET(2) ASIAN(1) CASSIS(1) CoRR(1) Electr. Notes Theor. Comput. S...(1) More (+10 of total 39)
Authors
David A. Naumann(55) Anindya Banerjee(20) Michael Barnett(5) Stan Rosenberg(5) Andrei Sabelfeld(4) Ana Cavalcanti(3) Heiko Mantel(3) Qi Sun(2) Alejandro Russo(1) Andrew D. Gordon(1) Andrey Chudnov(1) François Dupressoir(1) Gary Richter(1) Gary T. Leavens(1) George E. Sumrall(1) Gilles Barthe(1) More (+10 of total 32)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 18 keywords
Results
Found 55 publication records. Showing 55 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Stan Rosenberg, Anindya Banerjee, David A. Naumann Decision Procedures for Region Logic. Search on Bibsonomy VMCAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols. Search on Bibsonomy CSF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stan Rosenberg, Anindya Banerjee, David A. Naumann Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients. Search on Bibsonomy VSTTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andrey Chudnov, David A. Naumann Information Flow Monitor Inlining. Search on Bibsonomy CSF The full citation details ... 2010 DBLP  DOI  BibTeX  RDF program transformation, information security, Information flow, reference monitors
1David A. Naumann, Anindya Banerjee Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions. Search on Bibsonomy ESOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Johnson, David A. Naumann, John Power Category Theoretic Models of Data Refinement. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stephen Chong, David A. Naumann (eds.) Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009 Search on Bibsonomy PLAS The full citation details ... 2009 DBLP  BibTeX  RDF
1Anindya Banerjee, David A. Naumann, Stan Rosenberg Expressive Declassification Policies and Modular Static Enforcement. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2008 DBLP  DOI  BibTeX  RDF verification, information flow, declassification, downgrading
1Anindya Banerjee, Michael Barnett, David A. Naumann Boogie Meets Regions: A Verification Experience Report. Search on Bibsonomy VSTTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Anindya Banerjee, David A. Naumann, Stan Rosenberg Regional Logic for Local Reasoning about Global Invariants. Search on Bibsonomy ECOOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David A. Naumann On assertion-based encapsulation for object invariants and simulations. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Object invariants, Encapsulation and abstraction, Separation and alias control
1David A. Naumann Observational purity and encapsulation. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Pistoia, Anindya Banerjee, David A. Naumann Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Anindya Banerjee, David A. Naumann, Stan Rosenberg Towards a logical account of declassification. Search on Bibsonomy PLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF information flow, confidentiality, aliasing
1Steve M. Shaner, Gary T. Leavens, David A. Naumann Modular verification of higher-order methods with mandatory calls specified by model programs. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF grey-box approach, higher order method, mandatory call, model program, verification, specification languages, hoare logic, refinement calculus
1David A. Naumann, Michael Barnett Towards imperative modules: Reasoning about invariants and sharing of mutable state. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Tamara Rezk, David A. Naumann Deriving an Information Flow Checker and Certifying Compiler for Java. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld Closing Internal Timing Channels by Transformation. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun Allowing State Changes in Specifications. Search on Bibsonomy ETRICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David A. Naumann From Coupling Relations to Mated Invariants for Checking Information Flow. Search on Bibsonomy ESORICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Anindya Banerjee, David A. Naumann Ownership confinement ensures representation independence for object-oriented programs. Search on Bibsonomy J. ACM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Alias control, simulation, data refinement, confinement, relational parametricity
1Anindya Banerjee, David A. Naumann Stack-based access control and secure information flow. Search on Bibsonomy J. Funct. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld (eds.) Language-Based Security, 5.-10. October 2003 Search on Bibsonomy Language-Based Security The full citation details ... 2005 DBLP  BibTeX  RDF
1David A. Naumann Observational Purity and Encapsulation. Search on Bibsonomy FASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David A. Naumann Modular Reasoning in Object-Oriented Programming. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David A. Naumann Verifying a Secure Information Flow Analyzer. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Anindya Banerjee, David A. Naumann State Based Ownership, Reentrance, and Encapsulation. Search on Bibsonomy ECOOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David A. Naumann Assertion-Based Encapsulation, Object Invariants and Simulations. Search on Bibsonomy FMCO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Anindya Banerjee, David A. Naumann History-Based Access Control and Secure Information Flow. Search on Bibsonomy CASSIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michael Barnett, David A. Naumann Friends Need a Bit More: Maintaining Invariants Over Shared State. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David A. Naumann, Michael Barnett Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Qi Sun, Anindya Banerjee, David A. Naumann Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld 03411 Abstracts Collection - Language Based Security. Search on Bibsonomy Language Based Security The full citation details ... 2003 DBLP  BibTeX  RDF
1Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld 03411 Final Report - Language Based Security. Search on Bibsonomy Language Based Security The full citation details ... 2003 DBLP  BibTeX  RDF
1Anindya Banerjee, David A. Naumann Using Access Control for Secure Information Flow in a Java-like Language. Search on Bibsonomy CSFW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1David A. Naumann Soundness of data refinement for a higher-order imperative language. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Anindya Banerjee, David A. Naumann Ownership Confinement Ensures Representation Independence for Object-Oriented Programs Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Anindya Banerjee, David A. Naumann Representation independence, confinement and access control [extended abstract]. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Anindya Banerjee, David A. Naumann Secure Information Flow and Pointer Confinement in a Java-like Language. Search on Bibsonomy CSFW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ana Cavalcanti, David A. Naumann Forward Simulation for Data Refinement of Classes. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF soundness of simulation, program analysis and verification, object-orientation, data refinement
1David A. Naumann Calculating sharp adaptation rules. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1David A. Naumann Predicate transformer semantics of a higher-order imperative language with record subtyping. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1David A. Naumann Ideal Models for Pointwise Relational and State-Free Imperative Programming. Search on Bibsonomy PPDP The full citation details ... 2001 DBLP  BibTeX  RDF
1Ana Cavalcanti, David A. Naumann A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Refinement calculi, verification, object-orientation, semantic models
1Ana Cavalcanti, David A. Naumann A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1David A. Naumann A Categorical Model for Higher Order Imperative Programming. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1998 DBLP  BibTeX  RDF
1David A. Naumann Towards squiggly refinement algebra. Search on Bibsonomy PROCOMET The full citation details ... 1998 DBLP  BibTeX  RDF
1David A. Naumann Beyond Fun: Order and Membership in Polytypic Imperative Programming. Search on Bibsonomy MPC The full citation details ... 1998 DBLP  BibTeX  RDF
1David A. Naumann Data Refinement, Call by Value and Higher Order Programs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1David A. Naumann Predicate Transformers and Higher-Order Programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1David A. Naumann A Recursion Theorem for Predicate Transformers on Inductive Data Types. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1David A. Naumann Predicate Transformer Semantics of an Oberon-Like Language. Search on Bibsonomy PROCOMET The full citation details ... 1994 DBLP  BibTeX  RDF
1Richard T. Denman, David A. Naumann, Walter Potter, Gary Richter Derivation of programs for freshmen. Search on Bibsonomy SIGCSE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1David A. Naumann On the Essence of Oberon. Search on Bibsonomy Programming Languages and System Architectures The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Raymond T. Yeh, David A. Naumann, Roland Mittermeir, Reinhard A. Schlemmer, William S. Gilmore, George E. Sumrall, John T. Lebaron A Commonsense Management Model. Search on Bibsonomy IEEE Software The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #55 of 55 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.