Naumann's research papers, talks, and software
Selected papers by general topic
Security and secure information flow
Data refinement and representation-independence
Verification, semantics and refinement calculi
Algebra of higher order imperative programs
Ad hoc networking, music performance, education, software engineering, etc.
Papers chronologically, including superseded conference versions etc.
Journal articles
Articles in conference proceedings
Articles in refereed workshop proceedings
Unpublished and Technical Reports
Dissertation
Software
Edited collections
Miscellaneous talks not linked with papers above (incomplete list)
Acknowledgment of support
Copyright Notice
About this document ...
David Naumann 2011-12-27