Efficient, verifiable, secure, and privacy-friendly computations for the smart grid | IEEE Conference Publication | IEEE Xplore