David A. Naumann
Scholar

David A. Naumann

Google Scholar ID: ZC0qa2EAAAAJ
Professor of Computer Science, Stevens Institute of Technology
Software VerificationLanguage Based SecurityRefinementProgramming Languages
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,640
 
H-index
34
 
i10-index
65
 
Publications
20
 
Co-authors
30
list available
Publications
2 items
Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI
2026
Cited
0
Forall-Exists Relational Verification by Filtering to Forall-Forall
2025
Cited
0
Co-authors
8 total
Anindya Banerjee
Anindya Banerjee
Professor, IMDEA Software Institute
Gary T. Leavens
Gary T. Leavens
Professor, University of Central Florida
Ana Cavalcanti
Ana Cavalcanti
University of York
Tamara Rezk
Tamara Rezk
INRIA
Gilles Barthe
Gilles Barthe
MPI-SP and IMDEA Software Institute
Marco Pistoia
Marco Pistoia
Senior Vice President of Industry Relations, IonQ
François Dupressoir
François Dupressoir
Associate Professor in Cryptography, School of Computer Science, University of Bristol
Augusto Cesar Alves Sampaio
Augusto Cesar Alves Sampaio
UFPE - Universidade Federal de Pernambuco