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: relational and hyperproperty verification; fine-grained confidentiality/integrity policies; program analysis, verification, and transformation; correctness by construction; program logics and machine-checked metatheory; and methodology for formal specification of distributed system components.

I'm in the Cypress group.

Publications

DBLP Google Scholar

Some 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.

Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (with Toby Murray, Mukesh Tiwari and Gidon Ernst) in CCS 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), ACM Computer and Communication Security (2025), IEEE Computer Security Foundations (2025), European Conference on Object-Oriented Programming (2024)

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: 2025-03-04 Tue 22:01

Validate