Verifiable Computation in Smart Grids Using Dynamic Slicing. - Matheen Basha Shaik; Roopa Vishwanathan (PerCom Workshops, 2025)