You are here

SecSES - Secure Energy Systems

People involved

SecSES - Secure Energy Systems is an activity in the context of the EIT ICT Labs activities 2013 (Innovation Area: Smart Energy Systems).

One of the objectives of the activity is to implement security and privacy related features for an energy box in a smart home gateway.
01/01/2013 to 31/12/2013

The activity brings together the competence and expertise of eight partners.  With respect to the secure smart home gateway, the activity builds on the networking expertise of Telecom Italia. It is then combined with the expertise in formal protocol security analysis of FBK, joined with the background in security certification of Engineering, and the expertise in data privacy and anomaly detection of two academic partners. With respect to targeted attacks, the activity builds on the track record of  two academic partners in targeted attack detection and power system IT infrastructures. The technical expertise is completed by the standardization experience of Siemens.

Unit role: 

Our contribution is the formal modeling and the mechanical analysis of security protocols and policies used in the complex scenario of the Secure Smart Home Energy Gateway for Smart Buildings.

In this context we developed the SecSES tool

Relevant papers

  1. A. Armando, R. Carbone, E. G. Chekole, C.Petrazzuolo, A. Ranalli, S. Ranise, "Selective Release of Smart Metering Data in Multi-domain Smart Grids", In SmartGridSec14: Proceedings of the Second Open EIT ICT Labs Workshop on Smart Grid Security, Springer, 2014.
  2. A. Armando, R. Carbone, E. G. Chekole, S.Ranise, "Attribute Based Access Control for APIs in Spring Security", In SACMAT2014: Proceedings of the 19th ACM Symposium on Access Control Models and Technologies, ACM press, 2014.