# CICI: UCSS: Programmable Wireless Infrastructure with Formal Assurance for Cross-Campus Research

> **NSF 01002526DB NSF RESEARCH & RELATED ACTIVIT** · Stevens Institute of Technology (NJ) · $599,979

## Abstract

Scientific progress relies on collaborative access to data, instruments, and computing across institutions. However, wireless infrastructure at research institutions often presents a tradeoff: researchers require flexibility to experiment, while campus IT teams must enforce strict security and compliance policies. This misalignment can slow innovation and introduce vulnerabilities. The Wireless Research Access Programmable (WRAP) project addresses this by creating a programmable wireless architecture that allows researchers to manage domain specific policies while providing IT teams with lightweight, formally verifiable mechanisms to ensure compliance. WRAP enables secure, cross campus collaboration in fields such as quantum computing and neuroscience, integrating seamlessly with existing infrastructure. Developed with domain researchers, it ensures alignment with scientific workflows and advances scalable, policy compliant wireless systems for national cyberinfrastructure.

WRAP integrates programmable wireless networking, lightweight formal verification, and usability centered design into a unified architecture. Built on OpenWiFi and Open Radio Access Network (O-RAN), it introduces three key innovations: (1) programmable wireless enclaves using dynamic radio access slicing for cross-campus collaboration, (2) a policy assurance layer with formal verification for compliance and real-time monitoring via an IT dashboard, and (3) a declarative interface for researchers to expr

## Key facts

- **NSF award ID:** 2530916
- **Awardee organization:** Stevens Institute of Technology (NJ)
- **SAM.gov UEI:** JJ6CN5Y5A2R5
- **PI:** Ying Wang
- **Primary program:** 01002526DB NSF RESEARCH & RELATED ACTIVIT
- **All programs:** —
- **Estimated total:** $599,979
- **Funds obligated:** $599,979
- **Transaction type:** Standard Grant
- **Period:** 09/01/2025 → 08/31/2028

## Primary source

NSF Award Search: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2530916

## Citation

> US National Science Foundation, Award 2530916, CICI: UCSS: Programmable Wireless Infrastructure with Formal Assurance for Cross-Campus Research. Retrieved via AI Analytics 2026-06-08 from https://api.ai-analytics.org/grant/nsf/2530916. Licensed CC0.

---

*[NSF Awards dataset](/datasets/nsf-awards) · CC0 1.0*