Privacy-Preserving Data Aggregation With Public Verifiability Against Internal Adversaries