Privacy-Preserving Smart Metering

Rial, Alfredo; Danezis, George

doi:10.1007/978-3-658-00333-3_11

Cited by 53 publications

(78 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…12. a) Load shaping and b) battery power mixing Other schemes include Rial and Danezis' (Rial & Danezis, 2010) privacy preserving smart metering scheme. In this scheme, the smart meter provides certified readings to the user who then combines with a certified tariff policy to generate a final bill.…”

Section: Privacy Issuesmentioning

confidence: 99%

Energy Management for Intelligent Buildings

Iwayemi¹,

Wan²,

Zhou³

2011

Energy Management Systems

View full text Add to dashboard Cite

Section: Privacy Issuesmentioning

confidence: 99%

Energy Management for Intelligent Buildings

Iwayemi¹,

Wan²,

Zhou³

2011

Energy Management Systems

View full text Add to dashboard Cite

“…On input the certified readings, the computational devices can communicate with the service provider and enjoy data analysis or other services. A similar architecture can also be found in [38]. Note that we assume the service provider collects the readings from the users and provides the statistics services for free.…”

Section: Introductionmentioning

confidence: 91%

“…These protocols are mainly designed against the energy supplier. Billing protocols [32,3,12,38,11,21] allow energy supplier to charge users according to their consumption. The energy supplier can learn the final consumption or bill of a user for a period of time (e.g.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Privacy-preserving smart metering with regional statistics and personal enquiry services

Chu

Liu

Wong

et al. 2013

Proceedings of the 8th ACM SIGSAC Symposium on Information, Computer and Communications Security

View full text Add to dashboard Cite

In smart grid, households may send the readings of their energy usage to the utility and a third-party service provider which provides analyzed statistics data to users. User privacy becomes an important issue in this application. In this paper, we propose a new cryptographic-based solution for the privacy issue in smart grid systems. The advantages of our system are twofold: Households can send authenticated energy consumption readings to a third-party service provider anonymously. The service provider learns only the region where the readings come from but not their respective identities. On the other hand, users with personal secret information can enquiry their usage history records or regional statistics.Formal security analysis is provided to show that our scheme is secure. We further analyze the performance of our system by giving simulation results.

show abstract

“…The metering example is an implementation of a privacyfriendly protocol for smart electricity meters [48] developed at Microsoft Research. In the work reported in [5], an IML model of the protocol was extracted which revealed several bugs, but there was no verification result because the protocol uses XOR and Diffie-Hellman commitments.…”

Section: Implementation and Experimentsmentioning

confidence: 99%

Computational verification of C protocol implementations by symbolic execution

Aizatulin

Gordon

Jürjens

2012

Proceedings of the 2012 ACM Conference on Computer and Communications Security

View full text Add to dashboard Cite

We verify cryptographic protocols coded in C for correspondence properties with respect to the computational model of cryptography. The first step uses symbolic execution to extract a process calculus model from a C implementation of the protocol. The new contribution is the second step in which we translate the extracted model to a CryptoVerif protocol description, such that successful verification with CryptoVerif implies the security of the original C implementation. We implement our method and apply it to verify several protocols out of reach of previous work in the symbolic model (using ProVerif), either due to the use of XOR and Diffie-Hellman commitments, or due to the lack of an appropriate computational soundness result. We analyse only a single execution path, so our tool is limited to code following a fixed protocol narration. This is the first security analysis of C code to target a verifier for the computational model. We successfully verify over 3000 LOC. One example (about 1000 LOC) is independently written and currently in testing phase for industrial deployment; during its analysis we uncovered a vulnerability now fixed by its author

show abstract

Privacy-Preserving Smart Metering

Cited by 53 publications

References 18 publications

Energy Management for Intelligent Buildings

Energy Management for Intelligent Buildings

Privacy-preserving smart metering with regional statistics and personal enquiry services

Computational verification of C protocol implementations by symbolic execution

Contact Info

Product

Resources

About