Verifiable Privacy-Preserving Data Aggregation Protocols