Verifiable Traffic Control With Compact Data Structures in the Data Plane - Pan, Mengying (ProQuest Dissertations and Theses, 2025)