An implementation of a high assurance smart meter using protected module architectures

Jan Tobias Mühlberg; Sara Cleemput; Mustafa A. Mustafa; Jo Van Bulck; Bart Preneel; Frank Piessens

doi:10.1007/978-3-319-45931-8_4

An implementation of a high assurance smart meter using protected module architectures

Jan Tobias Mühlberg^*, Sara Cleemput, Mustafa A. Mustafa, Jo Van Bulck, Bart Preneel, Frank Piessens

^*Corresponding author for this work

Information Management

Katholieke Universiteit Leuven

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

112 Downloads (Pure)

Abstract

Due to ongoing changes in the power grid towards decentralised and highly volatile energy production, smart electricitymeters are required to provide fine-grained measurement and timely remote access to consumption and production data. This enables flexible tariffing and dynamic load optimisation. As the power grid forms part of the critical infrastructure of our society, increasing the resilience of the grid’s software components against failures and attacks is vitally important. In this paper we explore the use of Protected Module Architectures (PMAs) to securely implement and deploy software for smart electricity meters. Outlining security challenges and an architectural solution in the light of security features provided by PMAs, we evaluate a proof-ofconcept implementation of a security-focused smart metering scenario. Our implementation is based on Sancus, an embedded PMA for lowpower microcontrollers. The evaluation of our prototype provides strong indication for the feasibility of implementing a PMA-based high assurance smart meter with a very small software Trusted Computing Base, which would be suitable for security certification and formal verification.

Original language	English
Title of host publication	Information Security Theory and Practice - 10th IFIP WG 11.2 International Conference, WISTP 2016, Proceedings
Publisher	Springer Nature
Pages	53-69
Number of pages	17
ISBN (Print)	9783319459301
DOIs	https://doi.org/10.1007/978-3-319-45931-8_4
Publication status	Published - 17 Sept 2016
Event	10th IFIP WG 11.2 International Conference on Information Security Theory and Practice, WISTP 2016 - Heraklion, Crete, Greece Duration: 26 Sept 2016 → 27 Sept 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9895 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	10th IFIP WG 11.2 International Conference on Information Security Theory and Practice, WISTP 2016
Country/Territory	Greece
City	Heraklion, Crete
Period	26/09/16 → 27/09/16

Keywords

Distributed embedded computing
Protected module architectures
Sancus
Smart grid
Smart meter security

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/978-3-319-45931-8_4

article-2670Accepted author manuscript, 286 KB

Cite this

Mühlberg, J. T., Cleemput, S., Mustafa, M. A., Van Bulck, J., Preneel, B., & Piessens, F. (2016). An implementation of a high assurance smart meter using protected module architectures. In Information Security Theory and Practice - 10th IFIP WG 11.2 International Conference, WISTP 2016, Proceedings (pp. 53-69). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9895 LNCS). Springer Nature. https://doi.org/10.1007/978-3-319-45931-8_4

Mühlberg, Jan Tobias ; Cleemput, Sara ; Mustafa, Mustafa A. et al. / An implementation of a high assurance smart meter using protected module architectures. Information Security Theory and Practice - 10th IFIP WG 11.2 International Conference, WISTP 2016, Proceedings. Springer Nature, 2016. pp. 53-69 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{50f30082666341aca2c6aa1338f3b671,

title = "An implementation of a high assurance smart meter using protected module architectures",

abstract = "Due to ongoing changes in the power grid towards decentralised and highly volatile energy production, smart electricitymeters are required to provide fine-grained measurement and timely remote access to consumption and production data. This enables flexible tariffing and dynamic load optimisation. As the power grid forms part of the critical infrastructure of our society, increasing the resilience of the grid{\textquoteright}s software components against failures and attacks is vitally important. In this paper we explore the use of Protected Module Architectures (PMAs) to securely implement and deploy software for smart electricity meters. Outlining security challenges and an architectural solution in the light of security features provided by PMAs, we evaluate a proof-ofconcept implementation of a security-focused smart metering scenario. Our implementation is based on Sancus, an embedded PMA for lowpower microcontrollers. The evaluation of our prototype provides strong indication for the feasibility of implementing a PMA-based high assurance smart meter with a very small software Trusted Computing Base, which would be suitable for security certification and formal verification.",

keywords = "Distributed embedded computing, Protected module architectures, Sancus, Smart grid, Smart meter security",

author = "M{\"u}hlberg, {Jan Tobias} and Sara Cleemput and Mustafa, {Mustafa A.} and {Van Bulck}, Jo and Bart Preneel and Frank Piessens",

year = "2016",

month = sep,

day = "17",

doi = "10.1007/978-3-319-45931-8_4",

language = "English",

isbn = "9783319459301",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Nature",

pages = "53--69",

booktitle = "Information Security Theory and Practice - 10th IFIP WG 11.2 International Conference, WISTP 2016, Proceedings",

address = "United States",

note = "10th IFIP WG 11.2 International Conference on Information Security Theory and Practice, WISTP 2016 ; Conference date: 26-09-2016 Through 27-09-2016",

}

Mühlberg, JT, Cleemput, S, Mustafa, MA, Van Bulck, J, Preneel, B & Piessens, F 2016, An implementation of a high assurance smart meter using protected module architectures. in Information Security Theory and Practice - 10th IFIP WG 11.2 International Conference, WISTP 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9895 LNCS, Springer Nature, pp. 53-69, 10th IFIP WG 11.2 International Conference on Information Security Theory and Practice, WISTP 2016, Heraklion, Crete, Greece, 26/09/16. https://doi.org/10.1007/978-3-319-45931-8_4

An implementation of a high assurance smart meter using protected module architectures. / Mühlberg, Jan Tobias; Cleemput, Sara; Mustafa, Mustafa A. et al.
Information Security Theory and Practice - 10th IFIP WG 11.2 International Conference, WISTP 2016, Proceedings. Springer Nature, 2016. p. 53-69 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9895 LNCS).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - An implementation of a high assurance smart meter using protected module architectures

AU - Mühlberg, Jan Tobias

AU - Cleemput, Sara

AU - Mustafa, Mustafa A.

AU - Van Bulck, Jo

AU - Preneel, Bart

AU - Piessens, Frank

PY - 2016/9/17

Y1 - 2016/9/17

N2 - Due to ongoing changes in the power grid towards decentralised and highly volatile energy production, smart electricitymeters are required to provide fine-grained measurement and timely remote access to consumption and production data. This enables flexible tariffing and dynamic load optimisation. As the power grid forms part of the critical infrastructure of our society, increasing the resilience of the grid’s software components against failures and attacks is vitally important. In this paper we explore the use of Protected Module Architectures (PMAs) to securely implement and deploy software for smart electricity meters. Outlining security challenges and an architectural solution in the light of security features provided by PMAs, we evaluate a proof-ofconcept implementation of a security-focused smart metering scenario. Our implementation is based on Sancus, an embedded PMA for lowpower microcontrollers. The evaluation of our prototype provides strong indication for the feasibility of implementing a PMA-based high assurance smart meter with a very small software Trusted Computing Base, which would be suitable for security certification and formal verification.

AB - Due to ongoing changes in the power grid towards decentralised and highly volatile energy production, smart electricitymeters are required to provide fine-grained measurement and timely remote access to consumption and production data. This enables flexible tariffing and dynamic load optimisation. As the power grid forms part of the critical infrastructure of our society, increasing the resilience of the grid’s software components against failures and attacks is vitally important. In this paper we explore the use of Protected Module Architectures (PMAs) to securely implement and deploy software for smart electricity meters. Outlining security challenges and an architectural solution in the light of security features provided by PMAs, we evaluate a proof-ofconcept implementation of a security-focused smart metering scenario. Our implementation is based on Sancus, an embedded PMA for lowpower microcontrollers. The evaluation of our prototype provides strong indication for the feasibility of implementing a PMA-based high assurance smart meter with a very small software Trusted Computing Base, which would be suitable for security certification and formal verification.

KW - Distributed embedded computing

KW - Protected module architectures

KW - Sancus

KW - Smart grid

KW - Smart meter security

U2 - 10.1007/978-3-319-45931-8_4

DO - 10.1007/978-3-319-45931-8_4

M3 - Conference contribution

AN - SCOPUS:84990041867

SN - 9783319459301

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 53

EP - 69

BT - Information Security Theory and Practice - 10th IFIP WG 11.2 International Conference, WISTP 2016, Proceedings

PB - Springer Nature

T2 - 10th IFIP WG 11.2 International Conference on Information Security Theory and Practice, WISTP 2016

Y2 - 26 September 2016 through 27 September 2016

ER -

Mühlberg JT, Cleemput S, Mustafa MA, Van Bulck J, Preneel B, Piessens F. An implementation of a high assurance smart meter using protected module architectures. In Information Security Theory and Practice - 10th IFIP WG 11.2 International Conference, WISTP 2016, Proceedings. Springer Nature. 2016. p. 53-69. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-45931-8_4

An implementation of a high assurance smart meter using protected module architectures

Abstract

Publication series

Conference

Keywords

UN SDGs

Access to Document

Fingerprint

Cite this