Publicly Verifiable Private Aggregation of Time-Series Data. - Bence Gabor Bakondi; Andreas Peter 001; Maarten H. Everts; Pieter H. Hartel; Willem Jonker (ARES, 2015)