UP | HOME

Dave Naumann

Dave photo
Professor and Department Chair of Computer Science
Stevens Institute of Technology
Hoboken, NJ, USA
 
Contact and CV

Table of Contents

Research

My focus is on formal methods and software security, including: ad hoc network application security; web and mobile app security; fine-grained confidentiality/integrity policies; program analysis, verification, and transformation; correctness by construction; and methodology for formal specification of distributed system components.

I'm in the Cypress group.

Publications

DBLP Google Scholar

Recent papers:

A Relational Program Logic with Data Abstraction and Dynamic Framing (with Anindya Banerjee, Ramana Nagasamudram, and Mohammad Nikouei) in ACM TOPLAS 2022.

An Algebra of Alignment for Relational Verification (with Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram and Minh Ngo) in POPL 2023.

The WhyRel Prototype for Modular Relational Verification of Pointer Programs (with Ramana Nagasamudram and Anindya Banerjee) in TACAS 2023.

Toward Tool-Independent Summaries for Symbolic Execution (with Frederico Ramos, Nuno Sabino, Pedro Adão and José Fragoso Santos) in ECOOP 2023.

Advisees

Current and past PhD students: Jude Kanjamala; Ramana Nagasamudram; Mohammad Nikouei (defended 2019); Andrey Chudnov (defended 2016); Chunyu Tang (defended 2013); Stan Rosenberg (defended 2011); Qi Sun (defended 2007).

Postdoctoral research associates: Minh Ngo (2019), Mounir Assaf (2015–17).

Support

Siemens, Microsoft Research, NSF CNS-2426414, NSF CNS-1718713, NSF CCF-1649884, NSF DeepSpec

Teaching

Courses

Fall 2024: CS 643 Formal Verification of Software

Assistantships

Undergraduate summer research: Contact me early in Spring semester for projects.

PhD positions: From time to time I take on new PhD students for research on software verification and secure information flow: policies, static analysis, and runtime monitoring. Full funding is provided. The ideal candidates have background in programming language theory and implementation or formal methods.

Recent service

Program committee co-chair, IEEE Computer Security Foundations Symposium (2021 and 2022)

Program committee member: ACM Principles of Programming Languages (2023, 2019), International Symposium on Formal Methods (2019), European Symposium on Programming (2019)

Editorial boards: ACM Transactions on Programming Languages and Systems, Formal Aspects of Computing, Journal of Object Technology

Miscellany

A series of noun phrases (lacunae not shown)

This site created using org mode

Author: Dave Naumann

Created: 2024-10-02 Wed 20:37

Validate