Key-Leakage Resilient Encrypted Data Aggregation With Lightweight Verification in Fog-Assisted Smart Grids | IEEE Journals & Magazine | IEEE Xplore