Enabling Verifiable Privacy-Preserving Multi-Type Data Aggregation in Smart Grids | IEEE Journals & Magazine | IEEE Xplore