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.
Articles in conference proceedings
Articles in refereed workshop proceedings
Unpublished and Technical Reports
Miscellaneous talks not linked with papers above (incomplete list)
Acknowledgment of support
About this document ...
David Naumann 2013-05-19