Skip to Main content Skip to Navigation
Conference papers

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 electricity meters 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-of-concept implementation of a security-focused smart metering scenario. Our implementation is based on Sancus, an embedded PMA for low-power 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Monday, November 20, 2017 - 2:54:17 PM
Last modification on : Thursday, February 21, 2019 - 10:31:47 AM
Long-term archiving on: : Wednesday, February 21, 2018 - 4:06:19 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Jan Mühlberg, Sara Cleemput, Mustafa Mustafa, Jo Bulck, Bart Preneel, et al.. An Implementation of a High Assurance Smart Meter Using Protected Module Architectures. 10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.53-69, ⟨10.1007/978-3-319-45931-8_4⟩. ⟨hal-01639618⟩



Record views


Files downloads