Formal treatment of verifiable privacy-preserving data-aggregation protocols
scientific article; zbMATH DE number 6974419