David A. Naumann

Professor of Computer Science at Stevens Institute of Technology. Here's contact+photo, resume and PGP key.

Publications etc.

Teaching

Spring 2009 CS 115 Introduction to Programming

Fall 2008 CS 115 Introduction to Programming and PhD Fall School on Logics & Semantics of State, IT University of Copenhagen

Spring 2008 CS 182 Introduction to Computer Science, Honors II and CS 496/510 Principles of Programming Languages

Postdoc

Postdoctoral research position available in Modeling and analysis of security protocols.

Assistantships

For graduate students already attending Stevens: the normal process is to distinguish yourself in a course before seeking a position.

Undergraduate summer research: Contact me in Spring semester for projects. I have supported many undergraduate researchers, often in collaboration with Prof Susanne Wetzel and focusing on security of wireless ad hoc network applications. Some previous projects: 2005, 2006, 2008, and Dustin Long's honors thesis. Supported by the National Science Foundation as well as the Stevens Scholars program.

Research

I'm affiliated with CASSIA, the Center for the Advancement of Secure Systems and Information Assurance.

My focus is on formal methods and software security, including: Java Modeling Language (JML); ad hoc network application security; fine-grained confidentiality/integrity policies; automated analysis/transformation of programs combined with access control to enforce such policies; use of program verification technology for security; and methodology for formal specification of system components. For details see publications and items below.

Current and past PhD students: Stan Rosenberg; Chunyu Tang; Andrey Chudnov; Qi Sun (graduated Fall 2007).

With NSF support I'm working with Gary Leavens and others on the Java Modeling Language (JML), formal verification technology and methodology (NSF CNS-0708330). Representative paper at the 22d ACM Symposium on Object-Oriented Programming, Systems, Languages, and Applications, 2007.

With support from the NSF Cyber Trust program I'm working with Anindya Banerjee on Access control and downgrading in information flow assurance. Our work includes collaboration with Marco Pistoia at IBM and researchers at INRIA. Representative papers appear in the 27th, 28th and 29th IEEE Symposia on Security and Privacy, May 2006, 2007, and 2008.

Collaborator on the Spec#/Boogie software specification/verification project (Microsoft Research, Foundations of Software Engineering group).

With support from Telcordia Technologies I'm working with Susanne Wetzel on high assurance for security in wireless networking. We carry out case studies based on a wireless sensor network application for music and dance.

I'm co-chair (with Stephen Chong) of 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security associated with PLDI 2009 in Dublin.

I'm co-chair (with Peter O'Hearn) of 2008 Theory Workshop of the Second IFIP Working Conference on Verified Software: Theories, Tools, Experiments in Toronto.

I chaired the Theory Panel of the Verified Software Initiative and am a Corresponding Member of the Verified Software Repository Network.

Program committees of research conferences

International Conference on Formal Engineering Methods 2009.
Formal Methods for Security Engineering 2007 & 2008
European Symposium on Research in Computer Security 2007
ACM Workshop on Program Analysis for Security (PLAS) 2008 & co-chair for 2009
IBM Programming Languages Day 2009, co-organizer
Formal Methods for Open Object-based Distributed Systems 2007 & 2008
IEEE/ACM Workshop on Automated Formal Methods (AFM) 2007, 2008, & 2009
European Symposium on Programming 2006 & 2008
Verified Software: Theories, Tools, Experiments 2008 & 2010
Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis 2007
ECOOP International Workshop on Aliasing, Confinement and Ownership in object-oriented programming 2008
Symposium on Unifying Theories of Programming 2006 & 2008
TOOLS Europe 2008
Workshop on Specification And Verification of Component-Based Systems 2007
14th Int'l Conference on Formal Methods 2006
International Conference on Formal Engineering Methods 2005
Brazilian Symposium on Formal Methods 2007 & 2008
Brazilian Symposium on Programming Languages 2004 -- 2008
Mathemetics of Program Construction 2004, 2010
Software Verification and Testing Track of 24th Annual ACM Symposium on Applied Computing 2009.

A series of noun phrases (lacunae not shown)

My stylish home page, Lore-El Center for Women in Engineering and Science, air quality, life above 20 kHz, my Capoeira Angola master, news for nerds, quanta, the African diaspora, my Smyrneika, sax, and voice teachers, things musical, an ocean thereof, pop record ageing fan, Pandora's locked box, cry of the imaginary cuica.





naumann 2009-06-21