David Naumann

Current and selected recent teaching

Research (see publications etc.)

My current research is in the general area of formal methods and security. Topics include: 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. Details: see publications.

Assistantships

For students already attending Stevens: the normal process is to distinguish yourself in my course or another related course in my department before seeking a position.

Undergraduate summer research opportunities: One project was advertised via the Stevens Scholars program; here as another summer 2008 opportunity. I have supported many undergraduate researchers; recently in collaboration with Prof Susanne Wetzel, with funding from National Science Foundation and focusing on security of wireless ad hoc network applications; see summer 2005, summer 2006, and Dustin Long's honors thesis.

Recent activities

I chair the Theory Panel of the Verified Software Initiative and am a Corresponding Member of the Verified Software Repository Network. With Peter O'Hearn I will co-chair the 2008 Theory Workshop of the Second IFIP Working Conference on Verified Software: Theories, Tools, Experiments.

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. Representative papers appear in the 28th and 29th IEEE Symposia on Security and Privacy, May 2007 and May 2008.

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

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

Collaborating on secure information flow with researchers in the Everest group (Environments for Verification and Security of Software) at INRIA Sophia-Antipolis. Representative paper at 27th IEEE Symposium on Security and Privacy, May 2006.

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

Coorganizer of the Dagstuhl Seminar on Language-Based Security, Schloss Dagstuhl, Germany, October 5-10, 2003.

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

Current and recent program committees

A series of noun phrases (lacunae not shown)

Lore-El Center for Women in Engineering and Science, local air quality, life above 20 kHz, my Capoeira Angola master, quanta, bookbinding, the African diaspora, my Smyrneika, sax, and voice teachers, things musical, Pandora's locked box, cry of the imaginary cuica.