You are here
SESSec-EU - Networked Smart Energy Systems Security in Europe
SESSec-EU - Networked Smart Energy Systems Security in Europe is an activity in the context of the EIT ICT Labs activities 2012 (Innovation Area: Smart Energy Systems)
The consortium involves partners from four European nodes and combines expertise for SES in the aspects of infrastructure and device security, data security and privacy on all levels of the future smart grid from transmission down to device management and building control.
Our contribution was the formal modeling and mechanical analysis of security protocols and policies used in SES. In particular, we considered the Privacy-Preserving Billing Protocol for smart metering. This analysis has been conducted leveraging the automatic techniques for the security analysis developed in the context of the carrier project SIAM.