Dottorato di ricerca

• Formal verification of concurrent and distributed software and systems. A.A. 2018/19, INGEGNERIA INFORMATICA E DEI SISTEMI. Collaboratore del corso
• Formal verification of concurrent and distributed software and systems. A.A. 2019/20, INGEGNERIA INFORMATICA E DEI SISTEMI. Collaboratore del corso
• Formal verification of concurrent and distributed software and systems. A.A. 2020/21, INGEGNERIA INFORMATICA E DEI SISTEMI. Collaboratore del corso

• Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano (2019)
  A comprehensive approach to the automatic refinement and verification of access control policies. In: COMPUTERS & SECURITY, vol. 80, pp. 186-199. ISSN 0167-4048
  Contributo su Rivista
• Cheminod, Manuel; Durante, Luca; Valenza, Fulvio; Valenzano, Adriano (2018)
  Toward attribute-based access control policy in industrial networked systems. In: 14th IEEE International Workshop on Factory Communication Systems, WFCS 2018, ita, 2018, pp. 1-9. ISBN: 9781538610664
  Contributo in Atti di Convegno (Proceeding)
• Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano; ... (2017)
  Leveraging SDN To Improve Security in Industrial Networks. In: 13th IEEE International Workshop on Factory Communication Systems, Trondheim (NO), May 31 - June 2. ISBN: 978-150905788-7
  Contributo in Atti di Convegno (Proceeding)
• Durante, Luca; Lucia, Seno; Valenza, Fulvio; Valenzano, Adriano (2017)
  A Model for the Analysis of Security Policies in Service Function Chains. In: Second IEEE International Workshop on Security in NFV-SDN (SNS2017), BOLOGNA (IT)
  Contributo in Atti di Convegno (Proceeding)
• Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano (2017)
  Automated Fixing of Access Policy Implementation in Industrial Networked Systems. In: 13th IEEE International Workshop on Factory Communication Systems, Trondheim (NO), May 31 - June 2
  Contributo in Atti di Convegno (Proceeding)