Security & Trust


SecSES Secure Energy Systems


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

In this context we developed the SecSES tool.


  • Period: from 01/01/2013 until 31/12/2013.
  • Funding: EIT ICT Labs.


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

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.


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.

Related Tools

Related Publications

  • Alessandro Armando, Roberto Carbone, Eyasu Getahun Chekole, Silvio Ranise
    Attribute Based Access Control for APIs in Spring Security
    In: 18th ACM Symposium on Access Control Models and Technologies (SACMAT 2014) (DOI, news)
  • Alessandro Armando, Roberto Carbone, Eyasu Getahun Chekole, Claudio Petrazzuolo, Andrea Ranalli, Silvio Ranise
    Selective Release of Smart Metering Data in Multi-domain Smart Grids
    In: Second Open EIT ICT Labs Workshop on Smart Grid Security (SmartGridSec14) (DOI, news)

Involved People

Alessandro Armando

Alessandro Armando

Roberto Carbone

Roberto Carbone