← Leaderboards
David A Naumann
Stevens Institute Of Technology
$2,283,194
Attributed
$3,172,421
Total exposure
8
Grants
7
Lead (contact PI)
Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants.
Funding over time
peak $1.4M · FY2006–17$2M$1.5M$1M$500K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
Funding mix
By agency
NSF$3,172,421 · 8
By mechanism
—$3,172,421 · 8
Top collaborators
- Koduvayur P Subbalakshmi1 shared
- Rajarathnam Chandramouli1 shared
- Susanne Wetzel1 shared
Grant awards (8)
SaTC: CORE: Small: Relational Verification for Information Assurance and Privacy$451,931
· FY2017 · CSE · contact PI
TWC: Medium: Collaborative: Flexible and Practical Information Flow Assurance for Mobile Apps$631,808
· FY2012 · CSE · contact PI
SFS Cybersecurity Scholars Program$1,185,636
· FY2009 · EDU
SHF: Small: Collaborative Research: Specification Language Foundations for Modular Reasoning Methodologies$257,949
· FY2009 · CSE · contact PI
Collaborative Research: CRI: CRD: A JML Community Infrastructure --Revitalizing Tools and Documentation to Aid Formal Methods Research$108,375
· FY2007 · CSE · contact PI
CT-ISG Collaborative Research: Access Control and Downgrading in Information Flow Assurance$206,000
· FY2006 · CSE · contact PI
Collaborative Research: Formal Methods for Behavioral Subclassing and Callbacks$161,995
· FY2004 · CSE · contact PI
Collaborative Research: Integrating Pointer Confinement and Access Control for Encapsulation$168,727
· FY2002 · CSE · contact PI