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

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 express high-level intent with actionable feedback. Piloted at the principal investigators' institutions, WRAP is tested in real workflows for usability, policy enforcement, and legacy integration. The project provides open source modules, verified templates, and training resources to support broader adoption, enabling secure, adaptable wireless systems that accelerate scientific discovery while ensuring compliance and trust. This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.