WRAP

Ying Wang at CICI Presentation Series

September 4, 2025

PI Ying Wang discusses the WRAP project: Programmable Wireless Infrastructure with Formal Assurance for Cross-Campus Research. Wang talks about how formal assurance translates researcher goals into verifiable policies and how runtime anomaly detection ensures continuous, secure operation.

Cybersecurity Networking

Associated Links