- NSF IIS-2436080: EAGER: Synthesizing and Optimizing Declarative Smart Contracts, 2025
- NSF CNS-2104882: CNS Core: Small: Towards Internet-scale Permissioned Blockchain Infrastructure for the Mobile Internet, 2021 – 2024
- NSF CNS-2107147: Collaborative Research: CNS Core: Medium: Movement of Computation and Data in Splitkernel-disaggregated, Data-intensive Systems, 2021 – 2024.
- Secure Handling of Isolated Executables without Leaking Data (SHIELD), DARPA GAPS program, 2020-2024.
- NSF CNS-1703936: NeTS: Medium: Collaborative Research: Diagnosing Datacenter Networks with Quantitative Provenance, 2017 – 2023.
- NSF CCF-1763514: CCF: Medium: Enabling Real-Time Quantitative Decision Making over Streaming Data, 2018-2023.
- ASPIRE: Automatically Subsetting Protocol Implementations Reliably and Efficiently, ONR TPCP, 2018 – 2022.
- Accountable Protocol Customization, ONR TPCP, 2018 – 2022.
- NSF CNS-1513679: NeTS: Medium: Collaborative Research: DEFIND: DEclarative Formal Iterative Network Design, 2015-2021.
- NSF CNS-1563873: NeTS: CSR: Medium: Network Functions Virtualization With Timing Guarantees, 2015-2021.
- ProNet: Programmable Networks Enabled by Fast In-Path Analytics, DARPA Dispersed Computing program, 2017 – 2021.
- Declarative Dispersion-Oriented Software (DeDOS), DARPA XD3 program, 2016-2020
- Google Research Award, 2016.
- AT&T Labs-Research University Gift, 2014.
- DEDUCE: Distributed Enclave Defense Using Configurable Edges, DARPA EdgeCT program, 2015-2018.
- NSF IIP-1564730: I-Corps: NetEgg: Toolkit for Programming Network Policies by Examples.
- NSF IIP-1345294: SBIR Phase I: Declarative Platform for Software-defined Networking Applications
- NSF ITR-1138996: Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design.
- Probalogical Hybrid Defense (PHD). Office of Naval Research (ONR) grant. 2014 – 2017.
- NSF CNS-1065130: TC: Medium: Collaborative Research: Tracking Adversarial Behavior in Distributed Systems with Secure Networked Provenance.
- NSF CNS-1218066: NeTS: Small: Routing Design and Analysis with Incomplete Information.
- NSF CNS-1117185: CSR: Small: Resource Management for Real-time Cloud Computing.
- NSF CNS-1117052: TC: Small: Collaborative Research: Towards a Formal Framework for Analyzing and Implementing Secure Routing Protocols.
- NSF CNS-0845552: CAREER: Towards a Unified Declarative Platform for Composable Verifiable Networks [Project website]
- AFOSR Young Investigator Award, 2012-2015.
- DARPA SAFER Warfighter Communications. [Project Website]
- Amazon Web Services (AWS) in Education grant, 2012-2013.
- NSF CNS-1040672: FIA: Collaborative Research: NEBULA: A Future Internet That Supports Trustworthy Cloud Computing
- NSF IIS-0812270: NGNI-Small: Declarative Secure Networked Information Systems [Project website]
- AFOSR MURI grant FA9550-08-1-0352: Collaborative Policies and Assured Information Sharing.
- ONR grant N00014-11-1-0555: Protocols and Policies in Security and Networking.
- NSF CCF-0820208: Collaborative Research: Scalable Knowledge-based Middleware for Networked and Mobile Systems [Project website]
- Amazon Web Services (AWS) in Education grant, 2011.
- NSF CNS-0834524: CSR-EHCS(CPS) TM: Robust Composition and Interoperability of CPS Components
- NSF CNS-0831376: CT-S: Application-Aware Anonymity (A3) for the Masses
- ONR N00014-09-1-0770: Network Opposing Botnets (NoBot) (with Princeton University and Harvard University)
- NSF CNS-0721845: FIND: Wireless Knowledge Infrastructure (WiKI)
- DARPA-STO Wireless Network After Next (WNaN) program, with BBN Technologies.