Autonomous NextG System Vulnerability Detection From Protocol Verification to Runtime Validation - Yang, Jingda (ProQuest Dissertations and Theses, 2025)