A Privacy-Preserving Billing Computation and Leakage Detection Framework for Smart Grid | IEEE Journals & Magazine | IEEE Xplore