Verifiable Computation in Smart Grids Using Dynamic Slicing.

Matheen Basha Shaik, Roopa Vishwanathan

Browse the full PERCOM paper archive.