UKERC Energy Data Centre: Projects

Projects: Projects for Investigator
UKERC Home >> UKERC Energy Data Centre >> Projects >> Choose Investigator >> All Projects involving >> EP/N020170/1
 
Reference Number EP/N020170/1
Title Security and Privacy in Smart Grid Systems: Countermeasure and Formal Verification
Status Completed
Energy Categories OTHER POWER and STORAGE TECHNOLOGIES(Electricity transmission and distribution) 90%;
NOT ENERGY RELATED 10%;
Research Types Basic and strategic applied research 100%
Science and Technology Fields PHYSICAL SCIENCES AND MATHEMATICS (Computer Science and Informatics) 100%
UKERC Cross Cutting Characterisation Not Cross-cutting 100%
Principal Investigator Dr A Martin
No email address given
Computing Laboratory
University of Oxford
Award Type Standard
Funding Source EPSRC
Start Date 01 April 2016
End Date 31 March 2019
Duration 36 months
Total Grant Value £202,914
Industrial Sectors Energy; Information Technologies; Transport Systems and Vehicles
Region South East
Programme GU : Global Uncertainty
 
Investigators Principal Investigator Dr A Martin , Computing Laboratory, University of Oxford (100.000%)
  Industrial Collaborator Project Contact , National University of Singapore (0.000%)
Web Site
Objectives
Abstract In many distributed computing contexts, a need arises for two mutually-distrusting parties to undertake a joint calculation, often without the disclosure of the unprocessed data from one or both sides to the other. Sometimes a 'trusted third party' is used for this purpose - but immediately the verification of the trustworthiness of that party becomes a challenge. The cryptographic world has addressed this through the paradigm of secure multi-party computation - and the related problem of an untrusted processor through various schemes of homomorphic encryption. These are successful in many contexts, but imply certain overheads and complexities.We propose a different model, wherein the technologies of Trusted Computing are used to create an assured Trustworthy Remote Entity (TRE): this also enables us to develop duplex communications, which are seldom considered in the approaches described above. The main part of this project is devoted to developing and verifying a TRE-based solution for the substantial and far-reaching challenges of security and privacy in smart power grids: later in the project we consider the generalization of the approach to other similar problems, such as those in dynamic location-based road pricing. The 'big idea' is that the user can be signed up with a TRE, and have a high degree of confidence that their data (e.g. the information on how much electricity is being used right now) is not going to get in to the hands of someone who might use it against them (e.g. to work out when the home is unoccupied) - but the power company can also have from their side confidence that the data they receive is coming from one of their customers. If they need to reduce demand - in the extreme case by, say, remotely switching off somone's air conditioning unit fora time - they can send a signal back, confident that it will go to the right user, without knowing which customer that is. This approach can be generalised to many other situations: for example, the TRE could help to calculate a price for you to drive on a particular road at a particular time, without disclosing your movements to the transport authority. It could also pass back personalized (but anonymous) instructions on how to find a better route at the time
Publications (none)
Final Report (none)
Added to Database 30/11/15