%0 Conference Proceedings
%T An Implementation of a High Assurance Smart Meter Using Protected Module Architectures
%+ Catholic University of Leuven = Katholieke Universiteit Leuven (KU Leuven)
%A Mühlberg, Jan, Tobias
%A Cleemput, Sara
%A Mustafa, Mustafa, A.
%A Bulck, Jo, Van
%A Preneel, Bart
%A Piessens, Frank
%Z Part 2: Secure Hardware Systems
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 10th IFIP International Conference on Information Security Theory and Practice (WISTP)
%C Heraklion, Greece
%Y Sara Foresti
%Y Javier Lopez
%I Springer International Publishing
%3 Information Security Theory and Practice
%V LNCS-9895
%P 53-69
%8 2016-09-26
%D 2016
%R 10.1007/978-3-319-45931-8_4
%K Smart meter security
%K Smart grid
%K Protected module architectures
%K Distributed embedded computing
%K Sancus
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 11
%Z WG 11.2
%2 https://inria.hal.science/hal-01639618/document
%2 https://inria.hal.science/hal-01639618/file/421627_1_En_4_Chapter.pdf
%L hal-01639618
%U https://inria.hal.science/hal-01639618
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC11
%~ IFIP-WISTP
%~ IFIP-WG11-2
%~ IFIP-LNCS-9895