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