%0 Conference Proceedings %T Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids %+ University of Hamburg %+ Hamburg University of Technology (TUHH) %+ Forschungzentrum Informatik (FZI) %A Stübs, Marius %A Mueller, Tobias %A Bavendiek, Kai %A Loesch, Manuel %A Schupp, Sibylle %A Federrath, Hannes %Z Part 3: Privacy-Preserving Computation %< avec comité de lecture %( Lecture Notes in Computer Science %B 34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec) %C Regensburg, Germany %Y Anoop Singhal %Y Jaideep Vaidya %I Springer International Publishing %3 Data and Applications Security and Privacy XXXIV %V LNCS-12122 %P 153-173 %8 2020-06-25 %D 2020 %R 10.1007/978-3-030-49669-2_9 %K Formal model %K Automated proof %K Additive secret sharing %K Smart grid security %K Smart metering %K Distributed and decentralized security %Z Computer Science [cs]Conference papers %X The digitalization of power systems leads to a significant increase of energy consumers and generators with communication capabilities. Using data of such devices allows for a more efficient grid operation, e.g., by improving the balancing of power demand and supply. Fog Computing is a paradigm that enables efficient aggregation and processing of the measurements provided by energy consumers and generators. However, the introduction of these techniques is hindered by missing trust in the data protection, especially for personal-related data such as electric consumption. To resolve this conflict, we propose a privacy-preserving concept for the hierarchical aggregation of distributed data based on additive secret-sharing. To increase the trust towards the system, we model the concept and provide a formal proof of its confidentiality properties. We discuss the attacker models of colluding and non-colluding adversaries on the data flow and show how our scheme mitigates these attacks. %G English %Z TC 11 %Z WG 11.3 %2 https://inria.hal.science/hal-03243622/document %2 https://inria.hal.science/hal-03243622/file/496047_1_En_9_Chapter.pdf %L hal-03243622 %U https://inria.hal.science/hal-03243622 %~ IFIP-LNCS %~ IFIP %~ IFIP-TC %~ IFIP-WG %~ IFIP-TC11 %~ IFIP-WG11-3 %~ IFIP-DBSEC %~ IFIP-LNCS-12122