Framework for Efficient and Budget-Aware Verifiable Computation in Smart Grids - Shaik, Matheen Basha (ProQuest Dissertations and Theses, 2025)